|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
130
|
Higher-Order Modules and the Phase Distinction
– Robert Harper, John C. Mitchell, Eugenio Moggi
- 1990
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
1
|
Abstract ML Has Principal Typings
– Carlos Camarão, Lucília Figueiredo
|
|
5
|
The Girard-Reynolds isomorphism
– Philip Wadler
- 2001
|
|
4
|
The Girard-Reynolds isomorphism (second edition
– Philip Wadler, Jean-yves Girard
- 2004
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
8
|
A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming
– Atsushi Ohori
- 1989
|
|
32
|
Notes on Typed Object-Oriented Programming
– Kathleen Fisher, John C. Mitchell
- 1994
|
|
30
|
The Development of Type Systems for Object-Oriented Languages
– Kathleen Fisher, John C. Mitchell
- 1996
|
|
3
|
Type-Secure Meta-Programming
– Christopher Bentley Dornan
- 1998
|
|
129
|
Type Inference with Polymorphic Recursion
– Fritz Henglein
- 1991
|
|
|
Abstraction-Based Genetic Programming By
– Franck J. L. Binard
|
|
55
|
A Record Calculus Based on Symmetric Concatenation
– Robert Harper, Benjamin Pierce
- 1991
|
|
5
|
Programming Language Semantics in Foundational Type Theory
– K. Crary
- 1996
|
|
118
|
Using dependent types to express modular structure
– David Macqueen, David Macqueen
- 1986
|
