Sciweavers

200 search results - page 20 / 40

» The Intensional Lambda Calculus

24

LICS
1992
IEEE

99views Automated Reasoning» more LICS 1992»

Operational aspects of linear lambda calculus

14 years 1 months ago

Operational aspects of linear lambda calculus

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell

claim paper

Read More »

25

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

14 years 1 months ago

Self-applicable Partial Evaluation for Pure Lambda Calculus

Download repository.readscheme.org

Torben Æ. Mogensen

claim paper

Read More »

24

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

14 years 1 months ago

Kripke-Style models for typed lambda calculus

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

30

POPL
1990
ACM

94views Programming Languages» more POPL 1990»

An Algorithm for Optimal Lambda Calculus Reduction

14 years 1 months ago

An Algorithm for Optimal Lambda Calculus Reduction

Download www2.parc.com

John Lamping

claim paper

Read More »

38

ACL
2007

131views Computational Linguistics» more ACL 2007»

Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus

13 years 11 months ago

Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus

Download www.cs.utexas.edu

This paper presents the ﬁrst empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...

Yuk Wah Wong, Raymond J. Mooney

claim paper

Read More »

« Prev « First page 20 / 40 Last » Next »