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.

 

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

Type-changing rewriting and semantics-preserving transformation., , , и . PEPM, стр. 109-120. ACM, (2014)Type-changing rewriting and semantics-preserving transformation., , , и . Sci. Comput. Program., (2015)Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization., , и . IFL, том 6041 из Lecture Notes in Computer Science, стр. 159-178. Springer, (2009)A DSL for describing the artificial intelligence in real-time video games., , и . GAS@ICSE, стр. 8-14. IEEE Computer Society, (2013)Libraries for Generic Programming in Haskell., , , и . Advanced Functional Programming, том 5832 из Lecture Notes in Computer Science, стр. 165-229. Springer, (2008)Type-safe diff for families of datatypes., , и . WGP@ICFP, стр. 61-72. ACM, (2009)Usage of generic programming on hackage: experience report., , и . WGP@ICFP, стр. 47-52. ACM, (2013)