Hope: An Experimental Applicative Language (1980)

View PDF

Download Links

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

Documents Related by Co-Citation

1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
985 A theory of type polymorphism in programming – Robin Milner - 1978
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
510 A semantics of multiple inheritance – Luca Cardelli - 1988
644 The art of prolog – L Sterling, E Shapiro - 1986
977 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
378 Towards a theory of type structure – J C Reynolds - 1974
474 Literate programming – Donald E. Knuth - 1984
473 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. j-CACM – J Backus - 1978