176
click to vote
TIC
1998
Springer
15 years 11 months ago
1998
Springer
Suppose we translate two different source languages,
184
Voted
TIC
1998
Springer
15 years 11 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...
179
click to vote
TIC
1998
Springer
15 years 11 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...
