|
|
Type Inference for Record Concatenation and Multiple Inheritance
– Mitchell Wand College, Mitchell Wand
- 1989
|
|
30
|
Retrieving Re-Usable Software Components By Polymorphic Type
– Colin Runciman, Ian Toyn
- 1991
|
|
27
|
Decidable Bounded Quantification
– Giuseppe Castagna , Benjamin C. Pierce
- 1994
|
|
|
Typing of Selective lambda-Calculus
– Jacques Garrigue, Hassan Aït Kaci, Hassan Ait Kaci
- 1993
|
|
2
|
Data structures and data types in objectoriented databases
– Val Breazu-tannen, Peter Buneman, Atsushi Ohori
- 1991
|
|
4
|
Combining Inheritance and Parametric Polymorphism in a Functional Database Language
– Simon Courtenage, Alexandra Poulovassilis, Ra Poulovassilis
- 1995
|
|
24
|
Static type inference for parametric classes
– Atsushi Ohori, Peter Buneman
- 1989
|
|
8
|
A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming
– Atsushi Ohori
- 1989
|
|
8
|
The Typed Polymorphic Label-Selective λ-Calculus
– Jacques Garrigue, Hassan Aït-Kaci
- 1994
|
|
35
|
Extensible records in a pure calculus of subtyping
– Luca Cardelli
- 1994
|
|
55
|
A Record Calculus Based on Symmetric Concatenation
– Robert Harper, Benjamin Pierce
- 1991
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
55
|
An extension of Standard ML modules with Subtyping And Inheritance
– John Mitchell, Sigurd Meldal, Neel Madhav
|
|
104
|
Inheritance As Implicit Coercion
– Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
- 1991
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
136
|
Operations on records
– Luca Cardelli, John C. Mitchell
- 1991
|
|
17
|
Automatic Dimensional Inference
– Mitchell Wand
- 1991
|
|
9
|
A realistic compiler generator based on high-level semantics
– Peter Lee, Uwe Pleban
- 1987
|
