|
|
Abstract Type Inference for First-Class Messages
– unknown authors
|
|
4
|
Type Inference for First-Class Messages with Feature Constraints
– Martin Müller, Susumu Nishimura
- 1998
|
|
4
|
Designing Record Systems
– Martin Sulzmann
- 1997
|
|
9
|
Static Typing for Dynamic Messages
– Susumu Nishimura
- 1998
|
|
29
|
A General Framework for Hindley/Milner Type Systems with Constraints
– Martin Sulzmann
- 2000
|
|
16
|
Hindley/Milner style type systems in constraint form
– Martin Sulzmann, Martin Müller, Christoph Zenger
- 1999
|
|
42
|
Type inference with constrained types
– Martin Odersky, Martin Sulzmann, Martin Wehr
- 1997
|
|
17
|
Aspect-Oriented Compilers
– Oege De Moor, Simon Peyton Jones, Eric Van Wyk
- 1999
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
|
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings
– Manfred Pinkal And, Manfred Pinkal, Michael Kohlhase
|
|
|
Beyond Type Classes
– Andreas Rossberg, Martin Sulzmann
- 2002
|
|
|
A Functional Representation of Data Structures with a Hole
– Yasuhiko Minamide Research, Yasuhiko Minamide
- 1998
|
|
1
|
Private row types: Abstracting the unnamed
– Jacques Garrigue
|
|
1
|
ΩMEGA -- a mathematical assistant system
– Jörg Siekmann, Michael Kohlhase, Erica Melis
- 1999
|
|
8
|
Compilation based on a calculus for explicit type passing
– Yasuhiko Minamide
- 1996
|
|
2
|
An Unboxed Operational Semantics for ML Polymorphism
– Atsushi Ohori, Tomonobu Takamizawa
- 1997
|
|
1
|
Type system for specializing polymorphism
– Atsushi Ohori
- 1997
|
|
3
|
Extensible objects without labels
– Christopher A. Stone
- 2002
|
|
4
|
Polymorphic Equality - No Tags Required
– Martin Elsman
- 1989
|
