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)Reasoning about programs via operational semantics: requirements for a support system, and . Automated Software Engineering, 15 (3-4): 299--312 (December 2008)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)Special issue on Parallel and distributed computing based on the functional programming paradigm., , , , and . Concurr. Comput. Pract. Exp., (2018)Why Functional Programming Matters.. Comput. J., 32 (2): 98-107 (1989)Relational Reversal of Abstract Interpretation., and . J. Log. Comput., 2 (4): 465-482 (1992)Toward a mature industrial practice of software test automation., , , and . Softw. Qual. J., 22 (2): 239-240 (2014)Pretty-printing: An Exercise in Functional Programming.. MPC, volume 669 of Lecture Notes in Computer Science, page 11-13. Springer, (1992)