Sciweavers

424 search results - page 19 / 85

» A Lambda Calculus with Forms

21

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

13 years 11 months ago

Self-applicable Partial Evaluation for Pure Lambda Calculus

Download repository.readscheme.org

Torben Æ. Mogensen

claim paper

Read More »

21

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

13 years 11 months ago

Kripke-Style models for typed lambda calculus

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

25

POPL
1990
ACM

94views Programming Languages» more POPL 1990»

An Algorithm for Optimal Lambda Calculus Reduction

13 years 11 months ago

An Algorithm for Optimal Lambda Calculus Reduction

Download www2.parc.com

John Lamping

claim paper

Read More »

18

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

13 years 8 months ago

Unification in a Lambda-Calculus with Intersection Types

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

20

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

13 years 7 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

« Prev « First page 19 / 85 Last » Next »