Sciweavers

2 search results - page 1 / 1

» Strong Normalization by Type-Directed Partial Evaluation and...

124

TIC
1998
Springer

90views System Software» more TIC 1998»

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation

15 years 7 months ago

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation

Download www.brics.dk

Vincent Balat, Olivier Danvy

claim paper

Read More »

143

PEPM
1998
ACM

106views Software Engineering» more PEPM 1998»

Type-Directed Partial Evaluation

15 years 7 months ago

Type-Directed Partial Evaluation

Download www.pps.jussieu.fr

Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...

Olivier Danvy

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »