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

1311 Monads for functional programming – Philip Wadler - 1995
457 Comprehending Monads – Philip Wadler - 1992
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1241 The C Programming Language – Dennis M. Ritchie - 1988
938 A theory of type polymorphism in programming – Robin Milner - 1978
566 Term Rewriting Systems – J. W. Klop - 1992
1332 A Calculus of Communicating Systems – R Milner - 1982
554 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
802 G.: The Art of the Metaobject Protocol РG Kiczales, des Rivi̬res, J, D Bobrow - 1991