|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
35
|
Semantics for communication primitives in a polymorphic language
– Atsushi Ohori, Kazuhiko Kato
- 1993
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
8
|
A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming
– Atsushi Ohori
- 1989
|
|
93
|
The Polymorphic Pi-calculus: Theory and Implementation
– David N. Turner
- 1995
|
|
10
|
Practical Soft Typing
– Andrew K. Wright
- 1994
|
|
49
|
Programming With Intersection Types, Union Types, and Polymorphism
– Benjamin C. Pierce
- 1991
|
|
22
|
Extended ML: Past, present and future
– Donald Sannella , Andrzej Tarlecki
- 1991
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
6
|
Type-directed specialization of polymorphism
– Atsushi Ohori
- 1999
|
|
3
|
Type-Secure Meta-Programming
– Christopher Bentley Dornan
- 1998
|
|
7
|
Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d)
– Benjamin C. Pierce
- 1996
|
|
18
|
Delivering the Benefits of Persistence to System Construction and Execution
– Quintin I. Cutts
- 1992
|
