Lambda-Calculus and Functional Programming

Cached

Download Links

by Jonathan P. Seldin

Active Bibliography

6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
18 Higher Order Logic – Daniel Leivant - 1994
49 A lambda calculus for quantum computation – André Van Tonder
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
6 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
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
Abstraction-Based Genetic Programming By – Franck J. L. Binard
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
45 evolution and application of functional programming languages – Paul Hudak - 1989
7 Deterministic Concurrency – David Paul Carter - 1993
7 Comparing cubes of typed and type assignment systems – Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Paweł Urzyczyn - 1997
3 Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems – Fairouz Kamareddine - 2001
8 The Girard-Reynolds isomorphism – Philip Wadler - 2001
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012