Author of the publication

A Clear Picture of Lens Laws - Functional Pearl.

, , and . MPC, volume 9129 of Lecture Notes in Computer Science, page 215-223. Springer, (2015)

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

From Functional Logic Programs to Purely Functional Programs Preserving Laziness., and . IFL, volume 5836 of Lecture Notes in Computer Science, page 25-42. Springer, (2008)Validity Checking of Putback Transformations in Bidirectional Programming., , and . FM, volume 8442 of Lecture Notes in Computer Science, page 1-15. Springer, (2014)Preserving Sharing in the Partial Evaluation of Lazy Functional Programs., , , and . LOPSTR, volume 4915 of Lecture Notes in Computer Science, page 74-89. Springer, (2007)Data-flow testing of declarative programs., and . ICFP, page 201-212. ACM, (2008)Monadic combinators for "Putback" style bidirectional programming., , and . PEPM, page 39-50. ACM, (2014)Born Global Market Dominators: Insight into a Unique Class of Young Companies and Their Environment., , and . Int. J. IT Standards and Standardization Res., 12 (1): 1-16 (2014)On functional logic programming and its application to testing.. University of Kiel, (2010)Purely functional lazy nondeterministic programming., , and . J. Funct. Program., 21 (4-5): 413-465 (2011)Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures., and . J. Log. Algebraic Methods Program., 84 (3): 341-358 (2015)Lazy Database Access with Persistent Predicates.. Electron. Notes Theor. Comput. Sci., (2007)