Interactive Functional Programs: A Method and a Formal Semantics (1992)

Cached

Download Links

by Simon Thompson
Venue:Research Topics in Functional Programming
Citations:18 - 2 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
459 Comprehending Monads – Philip Wadler - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1266 The C Programming Language – Dennis M. Ritchie - 1988
944 A theory of type polymorphism in programming – Robin Milner - 1978
568 Term Rewriting Systems – J. W. Klop - 1992
1351 A calculus of communicating systems – R Milner - 1980
566 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
816 The Art of the Metaobject Protocol – G Kiczales, J des Rivieres, D G Bobrow - 1991