The Impact of the Lambda Calculus in Logic and Computer Science (1997)

Cached

Download Links

by Henk Barendregt , Erik Barendsen , Jon Barwise , Johan Van Benthem , Andreas Blass , Wil Dekkers , Marko Van Eekelen , Sol Feferman , Andrzej Filinski , Twan Laan , Jan Kuper , Pierre Lescanne , Hans Mooij , Robert Maron , Y Pollack , Richard Shore , Rick Statman
Citations:23 - 0 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
31 Constructions, Inductive Types and Strong Normalization – Thorsten Altenkirch - 1993
14 What is a Purely Functional Language? – Amr Sabry - 1998
7 Deterministic Concurrency – David Paul Carter - 1993
21 Type Theory and Programming – Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow - 1994
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
3 Explicit Substitutions and All That – Mauricio Ayala-Rincón, Cesar Muñoz - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
14 Some Results on the Full Abstraction Problem for Restricted Lambda Calculi – Furio Honsell, Marina Lenisa, Dedicated To Corrado Bohm - 1993
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson, To Mary Alice, To Sherri - 1995
2 Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus – Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning - 1989
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
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992