-
2
-
-
0342966834
-
-
Technical Report TR-107, Bell Labs, Bell Labs Technical Memorandum TM-83-11271-1
-
Luca Cardelli. The functional abstract machine. Technical Report TR-107, Bell Labs, 1983. Bell Labs Technical Memorandum TM-83-11271-1.
-
(1983)
The Functional Abstract Machine
-
-
Cardelli, L.1
-
7
-
-
0025507960
-
Algebraic data types and program transformation
-
September
-
Grant Malcolm. Algebraic data types and program transformation. Science of Computer Programming, 14(2-3):255-280, September 1990.
-
(1990)
Science of Computer Programming
, vol.14
, Issue.2-3
, pp. 255-280
-
-
Malcolm, G.1
-
8
-
-
85014115727
-
Functional programming with bananas, lenses, envelopes, and barbed wire
-
th International Conference on Functional Programming Languages and Computer Architecture, Springer-Verlag
-
th International Conference on Functional Programming Languages and Computer Architecture, number 523 in Lecture Notes in Computer Science. Springer-Verlag, 1991.
-
(1991)
Lecture Notes in Computer Science
, vol.523
-
-
Meijer, E.1
Fokkinga, M.2
Paterson, R.3
-
11
-
-
0026188821
-
Notions of computation and monads
-
July
-
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, July 1991.
-
(1991)
Information and Computation
, vol.93
, Issue.1
, pp. 55-92
-
-
Moggi, E.1
-
13
-
-
85035001592
-
Definitional interpreters for higher-order programming languages
-
ACM Press
-
John C. Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings of the ACM National Conference, pages 717-740. ACM Press, 1972.
-
(1972)
Proceedings of the ACM National Conference
, pp. 717-740
-
-
Reynolds, J.C.1
-
14
-
-
0001361340
-
An efficient machine-independent procedure for garbage collection in various list structures
-
August
-
H. Schorr and W. M. Waite. An efficient machine-independent procedure for garbage collection in various list structures. Communications of the ACM, 10(8):501-506, August 1967.
-
(1967)
Communications of the ACM
, vol.10
, Issue.8
, pp. 501-506
-
-
Schorr, H.1
Waite, W.M.2
-
16
-
-
0018924279
-
Continuation-based program transformation strategies
-
January
-
Mitchell Wand. Continuation-based program transformation strategies. Journal of the Association for Computing Machinery, 27(1):164-180, January 1980.
-
(1980)
Journal of the Association for Computing Machinery
, vol.27
, Issue.1
, pp. 164-180
-
-
Wand, M.1
-
17
-
-
0015400861
-
A space-efficient list structure tracing algorithm
-
Benjamin Wegbreit. A space-efficient list structure tracing algorithm. IEEE Transactions on Computers, C21:1009-1010, 1972.
-
(1972)
IEEE Transactions on Computers
, vol.C21
, pp. 1009-1010
-
-
Wegbreit, B.1
-
18
-
-
17144364108
-
Recursive definition of syntax and semantics
-
North-Holland
-
A. Van Wijngaarden. Recursive definition of syntax and semantics. In Formal Language Description Languages, pages 13-24. North-Holland, 1964.
-
(1964)
Formal Language Description Languages
, pp. 13-24
-
-
Van Wijngaarden, A.1
|