Sciweavers

7 search results - page 1 / 2

» tic 1998

8

TIC
1998
Springer

90views System Software» more TIC 1998»

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

13 years 8 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 »

11

TIC
1998
Springer

107views System Software» more TIC 1998»

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

13 years 8 months ago

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

Download www.cs.ucla.edu

Andrew K. Wright, Suresh Jagannathan, Cristian Ung...

claim paper

Read More »

9

TIC
1998
Springer

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

13 years 8 months ago

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

Download www.cs.umd.edu

Alexander Aiken, Manuel Fähndrich, Jeffrey S....

claim paper

Read More »

11

TIC
1998
Springer

94views System Software» more TIC 1998»

Type-Directed Continuation Allocation

13 years 8 months ago

Type-Directed Continuation Allocation

Download www.cs.ucla.edu

Suppose we translate two different source languages,

Zhong Shao, Valery Trifonov

claim paper

Read More »

10

TIC
1998
Springer

85views System Software» more TIC 1998»

Polymorphic Equality - No Tags Required

13 years 8 months ago

Polymorphic Equality - No Tags Required

Download repository.readscheme.org

Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...

Martin Elsman

claim paper

Read More »

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