Author of the publication

Constraint Functional Multicore Programming.

, and . GI Jahrestagung, volume P-154 of LNI, page 2901-2915. GI, (2009)

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

Notes on the Separate Compilation of Modelica., , and . EOOLT, volume 47 of Linköping Electronic Conference Proceedings, page 43-51. Linköping University Electronic Press, (2010)Sparse Non-blocking Collectives in Quantum Mechanical Calculations., , and . PVM/MPI, volume 5205 of Lecture Notes in Computer Science, page 55-63. Springer, (2008)Constraint Functional Multicore Programming., and . GI Jahrestagung, volume P-154 of LNI, page 2901-2915. GI, (2009)Call-by-Value Semantics for Mutually Recursive First-Class Modules., and . Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, page 101-116. Springer, (2012)Sound type-dependent syntactic language extension., and . POPL, page 204-216. ACM, (2016)Modular and automated type-soundness verification for language extensions., and . ICFP, page 331-342. ACM, (2013)