From post

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.

 

Другие публикации лиц с тем же именем

Principal type specialisation., и . ASIA-PEPM, стр. 94-105. ACM, (2002)Experiences from teaching functional programming at Chalmers.. ACM SIGPLAN Notices, 43 (11): 77-80 (2008)How to Give a Good Research Talk., , и . ACM SIGPLAN Notices, 28 (11): 9-12 (1993)Special issue on Parallel and distributed computing based on the functional programming paradigm., , , , и . Concurr. Comput. Pract. Exp., (2018)Reasoning about programs via operational semantics: requirements for a support system, и . Automated Software Engineering, 15 (3-4): 299--312 (декабря 2008)On the relation between expected returns and implied cost of capital, , и . Review of Accounting Studies, 14 (2-3): 246-259 (сентября 2009)Pretty-printing: An Exercise in Functional Programming.. MPC, том 669 из Lecture Notes in Computer Science, стр. 11-13. Springer, (1992)Relational Reversal of Abstract Interpretation., и . J. Log. Comput., 2 (4): 465-482 (1992)Beginner's luck: a language for property-based generators., , , , , и . POPL, стр. 114-129. ACM, (2017)Toward a mature industrial practice of software test automation., , , и . Softw. Qual. J., 22 (2): 239-240 (2014)