Search Sciweavers | Sciweavers

Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...

Christof Monz, Maarten de Rijke

claim paper

Read More »

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

15 years 8 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

15 years 8 months ago

Download www.cs.ucla.edu

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

claim paper

Read More »

112

Voted

TYPES
1998
Springer

117views Formal Methods» more TYPES 1998»

A Modal Lambda Calculus with Iteration and Case Constructs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers