From post

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.

 

Другие публикации лиц с тем же именем

Typing XHTML Web Applications in ML., и . PADL, том 3057 из Lecture Notes in Computer Science, стр. 224-238. Springer, (2004)An embedded DSL for stochastic processes: research article., , и . FHPC@ICFP, стр. 93-102. ACM, (2012)Compositional contract specification for REA, , , и . Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10, (2007)Incremental execution of transformation specifications., , и . POPL, стр. 26-38. ACM, (2004)Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware., , , и . RC, том 14680 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2024)Encryption and Reversible Computations - Work-in-progress Paper., , и . RC, том 11106 из Lecture Notes in Computer Science, стр. 331-338. Springer, (2018)Position Paper: Towards A New High-Level Architecture For ERP Systems, , и . 3gERP workshop, Frederiksberg, Denmark, (2007)Classifying VAT Legislation for Automation, , , и . 3gERP workshop, Frederiksberg, Denmark, (2008)A MuDDy Experience-ML Bindings to a BDD Library.. DSL, том 5658 из Lecture Notes in Computer Science, стр. 45-57. Springer, (2009)Generic multiset programming for language-integrated querying., и . ICFP-WGP, стр. 49-60. ACM, (2010)