Author of the publication

Stack-Based Typed Assembly Language

, , , and . TIC '98: Proceedings of the Second International Workshop on Types in Compilation, page 28--52. (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Theory of Second-Order Trees.. ESOP, volume 2305 of Lecture Notes in Computer Science, page 147-161. Springer, (2002)Automatic SIMD vectorization for Haskell., , and . ICFP, page 25-36. ACM, (2013)The Intel labs Haskell research compiler., , , and . Haskell, page 105-116. ACM, (2013)Type-Safe Optimisation of Plugin Architectures., , and . SAS, volume 3672 of Lecture Notes in Computer Science, page 135-154. Springer, (2005)Certifying Compilation for a Language with Stack Allocation., , , and . LICS, page 407-416. IEEE Computer Society, (2005)Stack-based typed assembly language., , , and . J. Funct. Program., 12 (1): 3-88 (2002)From System F to Typed Assembly Language, , , and . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)LIL: An Architecture-Neutral Language for Virtual-Machine Stubs., , , , , and . Virtual Machine Research and Technology Symposium, page 111-125. USENIX, (2004)Formalisation of the lambda aleph Runtime., , and . CoRR, (2013)Certified email with a light on-line trusted third party: design and implementation., and . WWW, page 387-395. ACM, (2002)