| Literatur |
|
Semantik von Programmiersprachen
- Computability and Complexity from a Programming Perspective.
Neil D. Jones. MIT Press. 1997.
- Semantics of Programming Languages - Structures and Techniques.
Carl Gunter. Foundations of Computing Series. MIT Press. 1992.
- Foundations for Programming Languages.
John C. Mitchell. MIT Press. 1997.
- The Structure of Typed Programming Languages.
David A. Schmidt. MIT Press. 1994.
- The Formal Semantics of Programming Languages.
Glynn Winskel. MIT Press. 1997.
- und dergleichen mehr ...
Lambdakalkül
- The Lambda Calculus. Its Syntax and Semantics
Henk Barendregt.
Studies in Logic and the Foundations of Mathematics, Band 103.
Elsevier Publishers. 1984.
- Functional Programming and Lambda Calculus.
Henk Barendregt.
Jan van Leeuwen, Hrsg.,
Handbook of Theoretical Computer Science, Band B.
pp. 321-361.
MIT Press. 1990.
- Lambda Calculi with Types.
Henk Barendregt.
Abramsky, Gabbay, Maibaum, Hrsg.,
Handbook of Logic in Computer Science, Band 2.
pp. 118-310.
Oxford University Press. 1992.
- The Impact on Lambda Calculus.
Henk Barendregt.
Funktionale Programmierung
-
ML for the Working Programmer.
Larry Paulson. Cambridge University Press. 1996.
-
Introduction to Standard ML.
Robert Harper. LFCS Report Series ECS-LFCS-86-14.
Laboratory for Foundations of Computer Science.
Department of Computer Science.
University of Edinburgh.
Nov. 1986
-
A Gentle Introduction ML. An Online Tutorial.
Andrew Cumming. Napier University. Edinburgh.
-
The Functional Programming FAQ
-
A Lecture on the Why of Y. Matthias Felleisen.
-
Foundations of Functional Programming.
Lecture Notes. Larry Paulson. 1995
-
Lambda by Lloyd Allison. Monash University. 1996.
-
SML Dokumente (Papiere, Beispiele, etc.)
-
Functional Programming FAQ
-
SML/NJ Homepage
vor allem mit
SML/NJ FAQ
und Informationen über
SML 97
- Tips for Computer Scientists on Standard ML
by Mads Tofte. 1993. University of Copenhagen.
Denotational Semantics
-
Winskel is (almost) right. Tobias Nipkow. Extended version of Proc. FST-TCS. 1996.
- Domains and Denotational Semantics: History, Accomplishments, and Open Problems.
Achim Jung, Marcelo Fiore, Eugenio Moggi, Peter O'Hearn, Jon G. Riecke, Giuseppe Rosolini,
and Ian Stark. Bull. of the EATCS. 1996.
- An Informal Tour On Denotational Semantics. Wolfgang De Meuter, Niels Boyen. Unpublished. 1994.
|
