Objects and Subtyping in a Functional Perspective (1992)

Cached

Download Links

by Martin Odersky
Citations:2 - 1 self

Documents Related by Co-Citation

159 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
94 Type assignment in programming languages – L Damas - 1985
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
75 Introduction to Standard ML – Robert Harper - 1986
58 An extension of Standard ML modules with Subtyping And Inheritance – John Mitchell, Sigurd Meldal, Neel Madhav
24 private communication – P Burrows - 2004
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
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
97 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Despeyroux, G Kahn - 1986
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988