Search Sciweavers | Sciweavers

265 search results - page 18 / 53

» Lambda calculus with patterns

144

click to vote

SOCO
2005
Springer

94views Software Engineering» more SOCO 2005»

A Lambda Calculus with Forms

15 years 11 months ago

Download www.cs.iastate.edu

Abstract. The need to use position-dependent parameters often hamdeﬁnition of ﬂexible, extensible, and reusable abstractions for software composition. This observation has led ...

Markus Lumpe

claim paper

Read More »

127

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 10 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

111

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

15 years 10 months ago

Download www.dina.kvl.dk

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

claim paper

Read More »

110

click to vote

TIC
1998
Springer

107views System Software» more TIC 1998»

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

15 years 10 months ago

Download www.cs.ucla.edu

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

claim paper

Read More »

128

click to vote

TYPES
1998
Springer

117views Formal Methods» more TYPES 1998»

A Modal Lambda Calculus with Iteration and Case Constructs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers