Author of the publication

LIL: An Architecture-Neutral Language for Virtual-Machine Stubs.

, , , , , and . Virtual Machine Research and Technology Symposium, page 111-125. USENIX, (2004)

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

The Intel labs Haskell research compiler., , , and . Haskell, page 105-116. ACM, (2013)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)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)Certified email with a light on-line trusted third party: design and implementation., and . WWW, page 387-395. ACM, (2002)From System F to Typed Assembly Language, , , and . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)Formalisation of the lambda aleph Runtime., , and . CoRR, (2013)LIL: An Architecture-Neutral Language for Virtual-Machine Stubs., , , , , and . Virtual Machine Research and Technology Symposium, page 111-125. USENIX, (2004)