Search Sciweavers | Sciweavers

194 search results - page 18 / 39

» An Introduction to the Lambda Calculus

click to vote

TIC
1998
Springer

107views System Software» more TIC 1998»

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

13 years 12 months ago

Download www.cs.ucla.edu

Andrew K. Wright, Suresh Jagannathan, Cristian Ung...

claim paper

Read More »

click to vote

TYPES
1998
Springer

117views Formal Methods» more TYPES 1998»

A Modal Lambda Calculus with Iteration and Case Constructs

13 years 12 months ago

Download hal.inria.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

click to vote

POPL
1994
ACM

87views Programming Languages» more POPL 1994»

The Typed Polymorphic Label-Selective lambda-Calculus

13 years 12 months ago

Download www.hpl.hp.com

Jacques Garrigue, Hassan Aït-Kaci

claim paper

Read More »

click to vote

LICS
1992
IEEE

99views Automated Reasoning» more LICS 1992»

Operational aspects of linear lambda calculus

13 years 11 months ago

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell

claim paper

Read More »

click to vote

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers