Sciweavers

PLILP
1990
Springer
13 years 9 months ago
Efficient Data Representation in Polymorphic Languages
Languages with polymorphic types (e.g. ML) have traditionally been implemented using Lisp-like data representations--everything has to fit in one word, if necessary by being heap-...
Xavier Leroy
PLILP
1990
Springer
13 years 9 months ago
The Vienna Abstract Machine
Andreas Krall, Ulrich Neumerkel