Functional Programming

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

Häftad, Engelska, 1990

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In some universities, a functional programming language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages.

Produktinformation

Utgivningsdatum1990-08-29
Mått170 x 242 x 23 mm
Vikt715 g
FormatHäftad
SpråkEngelska
SerieWorkshops in Computing
Antal sidor411
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540196099

Tillhör följande kategorier

Programvaruutveckling inom Data och it

A New Method for Strictness Analysis on Non-Flat Domains.- Backwards Strictness Analysis: Proved and Improved.- Abstract Interpretation of Polymorphic Functions.- An Iterative Powerdomain Construction.- Complexity Analysis for a Lazy Higher-Order Language.- Deriving the Fast Fourier Algorithm by Calculation.- Chemical Reaction as a Computational Model.- Sketching a Constructive Definition of ‘mix’.- Transformation in a Non-Strict Language: An Approach to Instantiation.- Referentially Transparent Database Languages.- Imperative Effects from a Pure Functional Language.- Designing Data Structures.- Describing Butterfly Networks in Ruby.- Implementation of a Non-Standard Interpretation System.- Simulating Multiprocessor Architectures for Compiled Graph-Reduction.- Dependent Sums Express Separation of Binding Times.- Type Inference and Type Classes.- Implementing Haskell Type Classes.- Implementing Functional Languages on the Transputer.- Hope+ on Flagship.- Expressing and Reasoning About Non-Deterministic Functional Programs.- Evaluation Annotations for Hope+.- Some Ideas On Parallel Functional Programming.- Parsing Using Combinators.- Gerald: An Exceptional Lazy Functional Programming Language.- Geometrization for Interactive Software Development.- Author Index.

Mer från samma serie

Specification and Verification of Concurrent Systems

Charles Rattray

Häftad, 1990

749 kr

AI and Cognitive Science ’89

Alan Smeaton, Gabriel McDermott

Häftad, 1990

749 kr

Semantics for Concurrency

Marta Z. Kwiatkowska, Michael W. Shields, Richard M. Thomas

Häftad, 1990

749 kr

Persistent Object Systems

John Rosenberg, David Koch

Häftad, 1990

749 kr

Z User Workshop

John E. Nicholls

Häftad, 1990

749 kr

Formal Methods for Trustworthy Computer Systems (FM89)

Dan Craigen

Häftad, 1990

749 kr

Security and Persistence

John Rosenberg, J.Leslie Keedy

Häftad, 1990

749 kr

Women into Computing

Gillian Lovegrove, Barbara Segal

Häftad, 1991

709 kr

Software Re-use, Utrecht 1989

Liesbeth M. Dusink, Patrick A.V. Hall

Häftad, 1991

749 kr

AI and Cognitive Science ’90

Michael F. McTear, Norman Creaney

Häftad, 1991

749 kr

Du kanske också är intresserad av

Timelessness of God

John C. Yates

Inbunden, 1990

1 019 kr

Autonomy and Social Interaction

Joseph H. Kupfer

Häftad, 1990

499 kr

Neurobiology of Cognition

Peter D. Eimas, Albert M. Galaburda

Häftad, 1990

399 kr

Histoire De La Langue

Peter A. Machonis

Inbunden, 1990

839 kr

Chemical Kinetics

Kenneth A. Connors

Häftad, 1990

4 689 kr

Eye of the Story

Eudora Welty

Häftad, 1990

299 kr

Huei Tlatoani

Evan Blythin

Inbunden, 1990

639 kr

History of al-Ṭabarī Vol. 23

State University of New York Press

Inbunden, 1990

1 459 kr

How Scripts Are Made

Inga Karetnikova

Häftad, 1990

499 kr

Race, Place, and Risk

Harold M. Rose, Paula D. McClain

Häftad, 1990

539 kr

Del i serien Workshops in Computing

Functional Programming

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

Häftad, Engelska, 1990

AvKei Davis,John Hughes

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1990-08-29
Mått170 x 242 x 23 mm
Vikt715 g
FormatHäftad
SpråkEngelska
SerieWorkshops in Computing
Antal sidor411
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540196099

Tillhör följande kategorier

Programvaruutveckling inom Data och it

A New Method for Strictness Analysis on Non-Flat Domains.- Backwards Strictness Analysis: Proved and Improved.- Abstract Interpretation of Polymorphic Functions.- An Iterative Powerdomain Construction.- Complexity Analysis for a Lazy Higher-Order Language.- Deriving the Fast Fourier Algorithm by Calculation.- Chemical Reaction as a Computational Model.- Sketching a Constructive Definition of ‘mix’.- Transformation in a Non-Strict Language: An Approach to Instantiation.- Referentially Transparent Database Languages.- Imperative Effects from a Pure Functional Language.- Designing Data Structures.- Describing Butterfly Networks in Ruby.- Implementation of a Non-Standard Interpretation System.- Simulating Multiprocessor Architectures for Compiled Graph-Reduction.- Dependent Sums Express Separation of Binding Times.- Type Inference and Type Classes.- Implementing Haskell Type Classes.- Implementing Functional Languages on the Transputer.- Hope+ on Flagship.- Expressing and Reasoning About Non-Deterministic Functional Programs.- Evaluation Annotations for Hope+.- Some Ideas On Parallel Functional Programming.- Parsing Using Combinators.- Gerald: An Exceptional Lazy Functional Programming Language.- Geometrization for Interactive Software Development.- Author Index.