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 to ML – D RÉMY, J VOUILLON - 1997
19 The Design and Implementation of Mondrian – Erik Meijer, Koen Claessen - 1997
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
53 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
1312 Monads for functional programming – Philip Wadler - 1995
51 Typing Haskell in Haskell – Mark P. Jones - 1999
132 Qualified types: Theory and practice – M P Jones - 1992
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
3 The Future of Haskell discussion at the Haskell Workshop – H Nilsson - 2003
3 Functional Programming vs. Object Oriented Programming – A Bayley - 2005
2 Parametric type classes. Pages 170–181 of – K Chen, P Hudak, M Odersky - 1992
2 27 Apr.). Type-safe covariance: Competent compilers can catch all catcalls. Work done as part of Eiffel language standardization by the TC39-TG4 committee of ECMA; Draft; Available at http://www.inf.ethz.ch/~meyer/ongoing/covariance/recast.pdf – M Howard, E Bezault, B Meyer, D Colnet, E Stapf, K Arnout, M Keller - 2003
2 Simplifying and improving qualified types. Pages 160–169 of – M P Jones - 1995
2 Functional logic overloading. Pages 233–244 of – M Neubauer, P Thiemann, M Gasbichler, M Sperber - 2002