Author of the publication

Sound Rules for Parallel Evaluation of a Functional Language with callcc.

, and . FPCA, page 125-135. ACM, (1993)

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

Special Section: The third provenance challenge on using the open provenance model for interoperability, , and . Future Generation Computer Systems (FGCS), 27 (6): 737-742 (2011)CORE A.The rationale of PROV, , , , and . Web Semantics: Science, Services and Agents on the World Wide Web, (2015)Birrell's distributed reference listing revisited., , and . ACM Trans. Program. Lang. Syst., 27 (6): 1344-1395 (2005)Sound Rules for Parallel Evaluation of a Functional Language with callcc., and . FPCA, page 125-135. ACM, (1993)NeXeme: A Distributed Scheme Based on Nexus., , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 581-590. Springer, (1997)From Metadata to Links., and . OHS-6/SC-2, volume 1903 of Lecture Notes in Computer Science, page 77-86. Springer, (2000)Standardizing Hypertext: Where Next for OHP?, , and . OHS-6/SC-2, volume 1903 of Lecture Notes in Computer Science, page 3-12. Springer, (2000)The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects., and . PSLS, volume 1068 of Lecture Notes in Computer Science, page 53-77. Springer, (1995)The Open Provenance Model: An Overview., , , , , and . IPAW, volume 5272 of Lecture Notes in Computer Science, page 323-326. Springer, (2008)A duality principle for homogeneous vectorfields with applications., , , and . Syst. Control. Lett., 47 (1): 37-46 (2002)