Objects and Subtyping in a Functional Perspective (1992)

Cached

Download Links

by Martin Odersky
Citations:2 - 1 self

Documents Related by Co-Citation

158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
6 Type classes are signatures of abstract types – M Odersky, K Laufer - 1991
1 A e s | = r y , A x Dom A ( ) �� x Dom r ( ) �� r x ( ) T [ A x ( ) ] [ ] y �� A | = r y , e : s | = r y , A E [ e ] [ ] r T [ s ] [ ] y �� A | = e : t A | = r y , e : s r EEnv �� y TEnv �� A | - e : t A | = e : t A | - e : t A – L Cardelli, X Leroy - 1980
11 M.B.Reinhold: 'Type' is not a type – A R Meyer - 1986
7 The Caml Light System, Release 0.5. Documentation and User's – X Leroy, M Mauny - 1992
26 The Implementation of Practical Functional Programming Languages – N Perry - 1990
5 Course notes – G Plotkin, Domains - 1983
24 private communication – P Burrows - 2004
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
71 The essence of ML – MH88 J C Mitchell, R Harper - 1988
233 Principal type schemes for functional programs – L Damas, R Milner - 1982
73 Introduction to Standard ML – Robert Harper - 1986
58 An extension of Standard ML modules with Subtyping And Inheritance – John Mitchell, Sigurd Meldal, Neel Madhav
94 Type Assignment in Programming Languages – L M M Damas - 1984
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1985
1562 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990