Author of the publication

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

Programming with Recursion Schemes, and . (2002)undefined.Trustless Grid Computing in ConCert., , , , , , and . GRID, volume 2536 of Lecture Notes in Computer Science, page 112-125. Springer, (2002)ML grid programming with ConCert.. ML, page 2-11. ACM, (2006)A separate compilation extension to standard ML., , , and . ML, page 32-42. ACM, (2006)Type-Safe Distributed Programming with ML5., , and . TGC, volume 4912 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)Distributed Control Flow with Classical Modal Logic., , and . CSL, volume 3634 of Lecture Notes in Computer Science, page 51-69. Springer, (2005)A Symmetric Modal Lambda Calculus for Distributed Computing., , , and . LICS, page 286-295. IEEE Computer Society, (2004)