( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proving Properties of Lazy Functional Programs with Sparkle.

, , и . CEFP, том 5161 из Lecture Notes in Computer Science, стр. 41-86. Springer, (2007)

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.

No persons found for author name Plasmeijer, Rinus
add a person with the name Plasmeijer, Rinus
 

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

Automatic Generation of Editors for Higher-Order Data Structures., , , и . APLAS, том 3302 из Lecture Notes in Computer Science, стр. 262-279. Springer, (2004)A Shallow Embedded Type Safe Extendable DSL for the Arduino., и . TFP, том 9547 из Lecture Notes in Computer Science, стр. 104-123. Springer, (2015)Parametric lenses: change notification for bidirectional lenses., , и . IFL, стр. 9:1-9:11. ACM, (2014)Embedding a web-based workflow management system in a functional language., , , и . LDTA, стр. 7. ACM, (2010)Model-Based Testing of Thin-Client Web Applications and Navigation Input., , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 299-315. Springer, (2008)A Functional Shell That Operates on Typed and Compiled Applications., и . Advanced Functional Programming, том 3622 из Lecture Notes in Computer Science, стр. 245-272. Springer, (2004)A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes., , и . IFL, том 6041 из Lecture Notes in Computer Science, стр. 179-197. Springer, (2009)Lazy interworking of compiled and interpreted code for sandboxing and distributed systems., , и . IFL, стр. 9:1-9:12. ACM, (2019)Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler., , , , и . Haskell, стр. 49-60. ACM, (2010)Proving Properties of Lazy Functional Programs with Sparkle., , и . CEFP, том 5161 из Lecture Notes in Computer Science, стр. 41-86. Springer, (2007)