Search Sciweavers | Sciweavers

1087 search results - page 31 / 218

» Eta-Redexes in Partial Evaluation

click to vote

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

14 years 1 months ago

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

click to vote

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

14 years 1 months ago

Download hal.inria.fr

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

claim paper

Read More »

click to vote

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

14 years 1 months ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

click to vote

LOPSTR
1992
Springer

116views Automated Reasoning» more LOPSTR 1992»

Intensional Query Answering: An Application of Partial Evaluation

14 years 1 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo

claim paper

Read More »

click to vote

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers