|
12
|
Toward Relaxing Assumptions in Languages and Their Implementations
– A Wulf
- 1980
|
|
4
|
A Symmetric Complement to the Lambda Calculus. Technical report, Gesellschaft fur Mathematik und Datenverarbeitung mbH
– K J Berkling
- 1976
|
|
7
|
A functional approach to database updates
– C Small
- 1993
|
|
10
|
Design and Implementation of Modula
– Niklaus Wirth
- 1977
|
|
4
|
Functional Hypersheets
– A Davie, K Hammond
- 1996
|
|
17
|
The Impact of the Lambda Calculus in Logic and Computer Science
– Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack
- 1997
|
|
10
|
First-class polymorphism for ML
– Stefan Kahrs
- 1993
|
|
13
|
Interactive Functional Programs - Models, Methods, and Implementation
– Peter Achten
- 1996
|
|
4
|
A Correspondence Between ALGOL
– P J Landin
- 1965
|
|
6
|
Dynamic Modules in Higher-Order Languages
– Suresh Jagannathan
- 1994
|
|
4
|
Improving persistent data manipulation for functional languages
– Patrick M. Sansom
- 1992
|
|
5
|
a language designed for teaching programming linguistics
– PAL
- 1968
|
|
8
|
A Consistent Extension of the Lambda Calculus as a Base for Functional Programming Languages. Information and Control
– Klaus Berkling, E Fehr
- 1982
|
|
7
|
A User's Guide for the Reduction System -RED
– Werner E Kluge
- 1994
|
|
9
|
Persistent First Class Procedures are Enough
– M P Atkinson, R Morrison
- 1984
|
|
5
|
Introduction to the Literature On Programming Language Design
– Gary T. Leavens
- 1993
|
|
3
|
Generalized ALGOL
– Adriaan van Wijngaarden
- 1963
|
|
5
|
Two Models For Integrating Persistence and Lazy Functional Languages
– David J. McNally, Antony J. T. Davie
- 1991
|
|
3
|
ein interaktives codeausfuhrendes Reduktionssystem zur vollstandigen Realisierung eines angewandten --Kalkuls. PhD thesis, Inst. fur Informatik und praktische Mathematik, Universit at
– -RED
- 1991
|
|
4
|
Modules and Persistence in Standard ML
– Robert E Harper
- 1986
|
