|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
|
A Short Introduction to Systems F and Fω
– Pablo Nogueira
- 2006
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
5
|
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
– Paris Kanellakis, Gerd Hillebrand, Harry Mairson
- 1994
|
|
10
|
Parametric and Type-Dependent Polymorphism
– Giuseppe Longo
- 1995
|
|
|
Abstraction-Based Genetic Programming By
– Franck J. L. Binard
|
|
3
|
Type-Secure Meta-Programming
– Christopher Bentley Dornan
- 1998
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
|
|
GFOL: A Term-Generic Logic for Defining λ-Calculi
– Andrei Popescu, Grigore Rosu
- 2006
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
42
|
Le Fun: Logic, equations, and Functions
– Hassan Aït-kaci, Patrick Lincoln, Roger Nasr
- 1987
|
|
122
|
Linear Types Can Change the World!
– Philip Wadler
- 1990
|
|
2
|
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming
– Steffen Van Bakel, Reuben N. S. Rowe
|
|
1
|
Abstract ML Has Principal Typings
– Carlos Camarão, Lucília Figueiredo
|
