Assignments for applicative languages (1991)

Cached

Download Links

by Vipin Swarup , Uday S. Reddy , Evan Ireland , Palmerston North
Venue:Conf. on Functional Program. Lang. and Comput. Arch
Citations:37 - 10 self

Documents Related by Co-Citation

32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
1312 Monads for functional programming – Philip Wadler - 1995
161 The essence of Algol – J C Reynolds - 1981
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
131 On the syntactic control of interference – J Reynolds - 1978
395 LCF considered as a programming language – G Plotkin - 1977
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
456 Comprehending Monads – Philip Wadler - 1992
23 Side Effects and Aliasing Can Have Simple Axiomatic Descriptions – Hans-Juergen Boehm - 1985
90 Laws of programming – C. A. R. Hoare, J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, H. Sorensen, J. M. Spivey, B. A. Sufrin - 1987
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
88 Is there a use for linear logic? – Philip Wadler - 1991
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
40 Syntactic Control of Interference Revisited – P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent - 1995