Davis / Hughes | Functional Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 411 Seiten, eBook

Reihe: Workshops in Computing

Davis / Hughes Functional Programming

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland
Erscheinungsjahr 2012
ISBN: 978-1-4471-3166-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, 411 Seiten, eBook

Reihe: Workshops in Computing

ISBN: 978-1-4471-3166-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Davis / Hughes Functional Programming jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Davis, Kei
Hughes, John

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.