Functional Programming: Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland - Brossura

Davis, Kei

 
9783540196099: Functional Programming: Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland
Brossura
ISBN 10: 3540196099 ISBN 13: 9783540196099
Casa editrice: Springer, 2013

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3540196099
ISBN 13 
9783540196099
Rilegatura
Copertina flessibile
Numero di pagine
420
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9780387196091: Functional Programming: Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland

Edizione in evidenza

ISBN 10:  0387196099 ISBN 13:  9780387196091
Casa editrice: Springer Verlag, 1990
Brossura