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

Reasoning about programs via operational semantics: requirements for a support system, and . Automated Software Engineering, 15 (3-4): 299--312 (December 2008)Principal type specialisation., and . ASIA-PEPM, page 94-105. ACM, (2002)Special issue on Parallel and distributed computing based on the functional programming paradigm., , , , and . Concurr. Comput. Pract. Exp., (2018)Experiences from teaching functional programming at Chalmers.. ACM SIGPLAN Notices, 43 (11): 77-80 (2008)How to Give a Good Research Talk., , and . ACM SIGPLAN Notices, 28 (11): 9-12 (1993)On the relation between expected returns and implied cost of capital, , and . Review of Accounting Studies, 14 (2-3): 246-259 (September 2009)Toward a mature industrial practice of software test automation., , , and . Softw. Qual. J., 22 (2): 239-240 (2014)Relational Reversal of Abstract Interpretation., and . J. Log. Comput., 2 (4): 465-482 (1992)Why Functional Programming Matters.. Comput. J., 32 (2): 98-107 (1989)Pretty-printing: An Exercise in Functional Programming.. MPC, volume 669 of Lecture Notes in Computer Science, page 11-13. Springer, (1992)