Haskell++: An Object-Oriented Extension of Haskell (1995)

Cached

Download Links

by John Hughes , Jan Sparud , Goteborg Sweden
Citations:10 - 0 self

Documents Related by Co-Citation

317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
50 Objective ML: a simple object-oriented extension of ML – D Rémy, J Vouillon - 1997
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
19 The Design and Implementation of Mondrian – Erik Meijer, Koen Claessen - 1997
891 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
53 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
1305 Monads for functional programming – Philip Wadler - 1995
51 Typing Haskell in Haskell – Mark P. Jones - 1999
132 Qualified Types: Theory and Practice – Mark P Jones - 1994
41 A Second Look at Overloading – Martin Odersky, Philip Wadler, Martin Wehr - 1995
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
427 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
5237 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995
183 On Understanding Types – L Cardelli, P Wegner - 1985
82 Dynamic typing in a staticallytyped language – M Abadi, L Cardelli, B Pierce, G Plotkin - 1991
244 Inheritance is not subtyping – W R Cook, W Hill, P S Canning - 1990
57 Calling Hell From Heaven and Heaven From Hell – Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones - 1999