Theoretical Foundations for Practical ‘Totally Functional Programming’ (2007)

Cached

Download Links

by Colin Kemp

Active Bibliography

95 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
11 Programming With Types – Stephanie Claudene Weirich - 2002
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
66 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
92 Polytypic programming – Patrik Jansson - 2000
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
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
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
Abstraction-Based Genetic Programming By – Franck J. L. Binard
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
134 Linear Types Can Change the World! – Philip Wadler - 1990
44 Le Fun: Logic, equations, and Functions – Hassan Aït-kaci, Patrick Lincoln, Roger Nasr - 1987
2 Semantic Predicate Types and Approximation for Class-based Object Oriented Programming – Steffen Van Bakel, Reuben N. S. Rowe