( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
mGTK: An SML Binding of Gtk+.

, и . USENIX ATC, FREENIX Track, стр. 127-134. USENIX, (2004)

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.

Erich Friis

Svend-Holger Friis

Ken Lau

Ken Endo

Erich Friis

 

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

Typing XHTML Web Applications in ML., и . PADL, том 3057 из Lecture Notes in Computer Science, стр. 224-238. Springer, (2004)Compositional contract specification for REA, , , и . Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10, (2007)An embedded DSL for stochastic processes: research article., , и . FHPC@ICFP, стр. 93-102. ACM, (2012)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)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)Design and GPGPU performance of Futhark's redomap construct., , и . ARRAY@PLDI, стр. 17-24. ACM, (2016)Position Paper: Towards A New High-Level Architecture For ERP Systems, , и . 3gERP workshop, Frederiksberg, Denmark, (2007)