Search Sciweavers | Sciweavers

424 search results - page 18 / 85

» A Lambda Calculus with Forms

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

13 years 11 months ago

Download www.dina.kvl.dk

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

claim paper

Read More »

click to vote

TIC
1998
Springer

107views System Software» more TIC 1998»

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

13 years 11 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 11 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 11 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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers