Author of the publication

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

An Alternative Characterization of Complete Iterativeness (Extended Abstract)., and . FICS, page 81-83. University of Warsaw, (2003)Build, Augment and Destroy, Universally., , and . APLAS, volume 3302 of Lecture Notes in Computer Science, page 327-347. Springer, (2004)The Essence of Dataflow Programming., and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 2-18. Springer, (2005)Corecursive Algebras: A Study of General Structured Corecursion., , and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 84-100. Springer, (2009)Python prevails., , , , , and . CompSysTech, page 87. ACM, (2009)Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically., and . Informatica, 10 (1): 5-26 (1999)A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis., , and . FM, volume 5850 of Lecture Notes in Computer Science, page 644-659. Springer, (2009)Monadic augment and generalised short cut fusion., , , and . ICFP, page 294-305. ACM, (2005)Comparing different styles of automated feedback for programming exercises., , and . Koli Calling, page 183-184. ACM, (2017)A thousand years of productivity: the JRebel story., and . Softw. Pract. Exp., 44 (1): 105-127 (2014)