Search Sciweavers | Sciweavers

1090 search results - page 20 / 218

» Type-Directed Partial Evaluation

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

15 years 7 months ago

Download www.dina.kvl.dk

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

claim paper

Read More »

click to vote

RTA
1998
Springer

68views Theoretical Computer Science» more RTA 1998»

Higher-Order Rewriting and Partial Evaluation

15 years 7 months ago

Download www.brics.dk

Olivier Danvy, Kristoffer Høgsbro Rose

claim paper

Read More »

114

click to vote

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

15 years 7 months ago

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

105

click to vote

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

15 years 7 months ago

Download hal.inria.fr

Gilles Muller, Eugen-Nicolae Volanschi, Renaud Mar...

claim paper

Read More »

104

click to vote

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers