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

A unified framework for input-to-state stability in systems with two time scales., , and . IEEE Trans. Automat. Contr., 48 (9): 1526-1544 (2003)Sound Rules for Parallel Evaluation of a Functional Language with callcc., and . FPCA, page 125-135. ACM, (1993)Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs.. GaM, volume 181 of EPTCS, page 129-144. (2015)Report on the International Provenance and Annotation Workshop: (IPAW'06) 3-5 May 2006, Chicago., , and . SIGMOD Record, 35 (3): 51-53 (2006)Learning Users' Interests by Quality Classification in Market-Based Recommender Systems., , and . IEEE Trans. Knowl. Data Eng., 17 (12): 1678-1688 (2005)Birrell's distributed reference listing revisited., , and . ACM Trans. Program. Lang. Syst., 27 (6): 1344-1395 (2005)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)Provenance-based validation of e-science experiments., , , , , and . J. Web Semant., 5 (1): 28-38 (2007)Special Section: The third provenance challenge on using the open provenance model for interoperability., , and . Future Gener. Comput. Syst., 27 (6): 737-742 (2011)