Search Sciweavers | Sciweavers

53 search results - page 1 / 11

» Partial Evaluation for the Lambda Calculus

click to vote

PEPM
1997
ACM

131views Software Engineering» more PEPM 1997»

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language

13 years 9 months ago

Download repository.readscheme.org

Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...

Tim Sheard

claim paper

Read More »

click to vote

ICFP
2006
ACM

175views Programming Languages» more ICFP 2006»

Access control in a core calculus of dependency

14 years 4 months ago

Download users.soe.ucsc.edu

The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...

Martín Abadi

claim paper

Read More »

click to vote

POPL
2004
ACM

141views Programming Languages» more POPL 2004»

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

14 years 5 months ago

Download www.cl.cam.ac.uk

We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...

Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore

claim paper

Read More »

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

13 years 9 months ago

Download www.dina.kvl.dk

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

claim paper

Read More »