Hope: An Experimental Applicative Language (1980)

Cached

Download Links

by R. M. Burstall , D. B. MacQueen , D. T. Sannella
Citations:39 - 3 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
939 A theory of type polymorphism in programming – Robin Milner - 1978
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
143 Miranda: a non-strict functional language with polymorphic types – D A Turner - 1985
97 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Despeyroux, G Kahn - 1986
234 Principal type schemes for functional programs – R Milner - 1982
93 Polymorphic type schemes and recursive definitions – A Mycroft - 1984
94 Type assignment in programming languages – L Damas - 1985
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
363 Towards a theory of type structure – J C Reynolds - 1974
225 Report on the programming language Haskell: A non-strict, purely functional language – Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young - 1992
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
17 manual – Poly D C J Matthews - 1985
40 An experimental applicative language – R BURSTALL, D MACQUEEN, D Hope SANNELLA - 1980
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
336 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
488 A semantics of multiple inheritance – Luca Cardelli - 1988