Author of the publication

A Primitive Calculus for Module Systems.

, and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 62-79. Springer, (1999)

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

Semantics of Distributed Processes Derived by Translation., and . GI Jahrestagung, volume 50 of Informatik-Fachberichte, page 78-87. Springer, (1981)Extending Coinductive Logic Programming with Co-Facts., , and . CoALP-Ty, volume 258 of EPTCS, page 1-18. (2016)Modeling multiple class loaders by a calculus for dynamic linking., , and . SAC, page 1281-1288. ACM, (2004)True Modules for Java-like Languages., and . ECOOP, volume 2072 of Lecture Notes in Computer Science, page 354-380. Springer, (2001)Jam - A Smooth Extension of Java with Mixins., , and . ECOOP, volume 1850 of Lecture Notes in Computer Science, page 154-178. Springer, (2000)From Static to Dynamic Abstract Data-Types.. MFCS, volume 1113 of Lecture Notes in Computer Science, page 579-590. Springer, (1996)Customizable composition operators for Java-like classes., , and . ICTCS, page 136-142. (2009)Lyman-alpha Forest Tomography from Background Galaxies: The First Megaparsec-Resolution Large-Scale Structure Map at z>2, , , , , , , , , and 14 other author(s). (2014)cite arxiv:1409.5632Comment: Accepted for publication in Astrophysical Journal Letters; 8 pages and 5 figures.Corecursive Featherweight Java Revisited., , , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 158-170. CEUR-WS.org, (2019)Enhancing Expressivity of Checked Corecursive Streams., , and . FLOPS, volume 13215 of Lecture Notes in Computer Science, page 1-18. Springer, (2022)