Search Sciweavers | Sciweavers

200 search results - page 19 / 40

» The Intensional Lambda Calculus

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

14 years 2 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

14 years 2 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

14 years 2 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

14 years 2 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers