Search Sciweavers | Sciweavers

4190 search results - page 21 / 838

» Type Class Directives

157

click to vote

TIC
1998
Springer

90views System Software» more TIC 1998»

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

15 years 10 months ago

Download www.brics.dk

Vincent Balat, Olivier Danvy

claim paper

Read More »

156

click to vote

TIC
1998
Springer

94views System Software» more TIC 1998»

Type-Directed Continuation Allocation

15 years 10 months ago

Download www.cs.ucla.edu

Suppose we translate two different source languages,

Zhong Shao, Valery Trifonov

claim paper

Read More »

123

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 10 months ago

Download www-2.cs.cmu.edu

David Tarditi, J. Gregory Morrisett, Perry Cheng, ...

claim paper

Read More »

144

Voted

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

15 years 10 months ago

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

129

Voted

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers