Sciweavers

Share
TIC
1998
Springer
10 years 3 months ago
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S....
TIC
1998
Springer
107views System Software» more  TIC 1998»
10 years 3 months ago
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report
Andrew K. Wright, Suresh Jagannathan, Cristian Ung...
TIC
1998
Springer
10 years 3 months ago
Type-Directed Continuation Allocation
Suppose we translate two different source languages,
Zhong Shao, Valery Trifonov
TIC
1998
Springer
127views System Software» more  TIC 1998»
10 years 3 months ago
Stack-Based Typed Assembly Language
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
J. Gregory Morrisett, Karl Crary, Neal Glew, David...
TIC
1998
Springer
10 years 3 months ago
Polymorphic Equality - No Tags Required
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
books