Programming with Polymorphic Variants (1998)

by Jacques Garrigue
Venue:In ML Workshop
Citations:42 - 10 self

Active Bibliography

Abstract Type Inference for First-Class Messages – unknown authors
4 Designing Record Systems – Martin Sulzmann - 1997
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
16 Hindley/Milner style type systems in constraint form – Martin Sulzmann, Martin Müller, Christoph Zenger - 1999
8 Simple type inference for structural polymorphism – Jacques Garrigue - 2002
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
5 Type Inference for First-Class Messages with Feature Constraints – Martin Müller, Susumu Nishimura - 1998
10 Static Typing for Dynamic Messages – Susumu Nishimura - 1998
2 A certified implementation of ML with structural polymorphism – Jacques Garrigue - 2010
17 Aspect-Oriented Compilers – Oege De Moor, Simon Peyton Jones, Eric Van Wyk - 1999
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