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

Principal type specialisation., and . ASIA-PEPM, page 94-105. ACM, (2002)On the relation between expected returns and implied cost of capital, , and . Review of Accounting Studies, 14 (2-3): 246-259 (September 2009)Pretty-printing: An Exercise in Functional Programming.. MPC, volume 669 of Lecture Notes in Computer Science, page 11-13. Springer, (1992)Beginner's luck: a language for property-based generators., , , , , and . POPL, page 114-129. ACM, (2017)Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing., , , and . ESOP, volume 12648 of Lecture Notes in Computer Science, page 264-291. Springer, (2021)Reasoning about programs via operational semantics: requirements for a support system, and . Automated Software Engineering, 15 (3-4): 299--312 (December 2008)Predicting Sleep Quality in Osteoporosis Patients Using Electronic Health Records and Heart Rate Variability., , and . EMBC, page 5571-5574. IEEE, (2020)Automatic Grading of Programming Exercises using Property-Based Testing., , and . ITiCSE, page 47-52. ACM, (2016)Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary)., and . Functional Programming, page 57-61. Springer, (1992)Towards Binding-Time Improvement for Free., and . Functional Programming, page 83-100. Springer, (1990)