TIC
1998
Springer
14 years 4 months ago
1998
Springer
TIC
1998
Springer
14 years 4 months ago
1998
Springer
TIC
1998
Springer
14 years 4 months ago
1998
Springer
Suppose we translate two different source languages,
TIC
1998
Springer
14 years 4 months ago
1998
Springer
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...
TIC
1998
Springer
14 years 4 months ago
1998
Springer
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...
TIC
1998
Springer
14 years 4 months ago
1998
Springer
