Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2003), 13: 957-959 Cambridge University Press
Copyright © 2003 Cambridge University Press
doi:10.1017/S0956796802004446
Published online by Cambridge University Press 27 Aug 2003

ERRATA

Stack-based typed assembly language

GREG MORRISETT a1, KARL CRARY a2, NEAL GLEW a3 and DAVID WALKER a4
a1 Department of Computer Science, Cornell University, Ithaca, NY 14853, USA
a2 Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA
a3 Intertrust, 4750 Patrick Henry Drive, Santa Clara, CA 95054, USA
a4 Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA

The following three figures (figures 10, 11 and 12) were not shown in the original published version of the article. These figures constitute the entire static semantics of the STAL type system.


back to top
Cambridge University Press