( en | de | ru )

 

Disambiguation of "Hughes, John"

Author of the publication

copydeleteadd this publication to your clipboard
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.

, , , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 383-405. Springer, (2015)

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.

John Jay Hughes

John Jay Hughes

John Jay Hughes

Jula Hughes

Herta Hughes

 

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)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)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)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)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)Pretty-printing: An Exercise in Functional Programming.. MPC, volume 669 of Lecture Notes in Computer Science, page 11-13. Springer, (1992)