Hope: An Experimental Applicative Language (1980)

Cached

Download Links

by R. M. Burstall , D. B. MacQueen , D. T. Sannella
Citations:40 - 4 self

Documents Related by Co-Citation

1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
944 A theory of type polymorphism in programming – Robin Milner - 1978
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
485 A semantics of multiple inheritance – Luca Cardelli - 1988
623 The Art of Prolog – L Sterling, E Shapiro - 1994
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
366 Towards a theory of type structure – John C Reynolds - 1974
701 Hypertext: An introduction and survey – J Conklin - 1987
1318 Monads for functional programming – Philip Wadler - 1995