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

Cached

Download Links

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

Active Bibliography

8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994
47 First-class Polymorphism with Type Inference – Mark P. Jones
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
2 An Exploration of Modular Programs – Jan Nicklisch, Simon Peyton Jones - 1996
An Implementation Of Caml-Light With Existential Types – E De Recherche, Et En Automatique, Domaine De Voluceau, Michel Mauny, François Pottier - 1993
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008
55 Objective ML: An effective object-oriented extension to ML – Didier Rémy, Jérôme Vouillon - 1998
Existentially Quantified Type Classes – unknown authors
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
4 Towards a Haskell Debugger – Jan Sparud - 1995
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
25 Constraint-Based Type Inference for Guarded Algebraic Data Types – Vincent Simonet, François Pottier - 2003
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
2 Should ML be object-oriented? – David MacQueen
System Level Specification in Lava – Satnam Singh Xilinx - 2003
3 Primitive Subtyping /\ Implicit Polymorphism |= Object-Orientation (extended abstract) – François Bourdoncle, Stephen Merz - 1996
10 A Formal Foundation for Concurrent Object Oriented Programming – Radu Grosu, Alle Rechte Vorbehalten, Radu Grosu - 1994
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997