Extensible Algebraic Datatypes Through Prototypes and Subtyping (2000)

Cached

Download Links

by Petri Mäenpää , Kenneth Oksanen
Citations:1 - 0 self

Active Bibliography

4 Polymorphic Subtyping in O'Haskell – Johan Nordlander - 2001
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
18 Half & Half: Multiple Dispatch and Retroactive Abstraction for Java – Gerald Baumgartner, Martin Jansche, Konstantin Läufer - 2002
1 A Novel Problem in Constraint-Based Type Inference – Keith Wansbrough - 1999
34 Type-Indexed Rows – Mark Shields, Erik Meijer - 2001
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
Visitor-Oriented Programming – Thomas Vandrunen Jens
6 Visitor-oriented programming – Thomas VanDrunen, Jens Palsberg - 2004
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
Object-Oriented Extensions of HOL – Norbert Volker
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
11 Type Inference for Record Concatenation and Subtyping – Jens Palsberg, Tian Zhao - 2003
4 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing – Craig Chambers, Gary T. Leavens - 1997
2 MultiJava: Modular symmetric multiple dispatch and extensible classes for Java – Copyright Curtis Clifton, Craig Chambers, Craig Chambers, Todd Millstein, Todd Millstein, Curtis Clifton, Curtis Clifton, Gary T. Leavens, Gary T. Leavens, Gary T. Leavens - 2000
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
8 The Theory of Classification - Part 3: Object Encodings and Recursion – Anthny J. H. Simons - 2002
62 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008