Sciweavers

31686 search results - page 149 / 6338

» Resource typing in Guru

153

FLOPS
1998
Springer

76views Automated Reasoning» more FLOPS 1998»

Online Type-Directed Partial Evaluation

15 years 11 months ago

Online Type-Directed Partial Evaluation

Download repository.readscheme.org

Olivier Danvy

claim paper

Read More »

143

ICALP
1998
Springer

83views Programming Languages» more ICALP 1998»

A Simple Solution to Type Specialization

15 years 11 months ago

A Simple Solution to Type Specialization

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

179

Voted

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

15 years 11 months ago

A Type System for Object Initialization in the Java Bytecode Language

Download www.cs.williams.edu

Stephen N. Freund, John C. Mitchell

claim paper

Read More »

167

TIC
1998
Springer

90views System Software» more TIC 1998»

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

15 years 11 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 »

137

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 11 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

« Prev « First page 149 / 6338 Last » Next »