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

Corrective hints for type incorrect generic Java programs., and . PEPM, page 5-14. ACM, (2010)Making "stricterness" more relevant., and . PEPM, page 121-130. ACM, (2010)Research paper: Plagiarism Detection for Haskell with Holmes., , and . CSERC, page 19-30. ACM, (2013)Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning., , and . IFL, page 33-43. ACM, (2020)A generic usage analysis with subeffect qualifiers., , and . ICFP, page 235-246. ACM, (2007)Generic Matching of Tree Regular Expressions over Haskell Data Types., and . PADL, volume 9585 of Lecture Notes in Computer Science, page 83-98. Springer, (2016)A Quantitative Comparison of Semantic Web Page Segmentation Approaches., , and . ICWE, volume 9114 of Lecture Notes in Computer Science, page 374-391. Springer, (2015)Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes., , and . ICGT, volume 2505 of Lecture Notes in Computer Science, page 148-160. Springer, (2002)AB=ᗺA: execution equivalence as a new type of testing oracle., , , , , and . SAC, page 1559-1566. ACM, (2015)Logging to Facilitate Combinatorial System Testing., , , and . FITTEST@ICTSS, volume 8432 of Lecture Notes in Computer Science, page 48-58. Springer, (2013)