John Hughes

发表

Koen Claessen, John Hughes, Michal H. Palka, 2010, AST '10.

John Hughes, Nachiappan Valliappan, 2018, Erlang Workshop.

John Hughes, Don McFall, Gillian Fiona Sleith, 1993, SEKE.

John Hughes, Rogardt Heldal, John Hughes, 2001, Ershov Memorial Conference.

John Hughes, Eric Steven Atwell, Clive Souter, 1994 .

John Hughes, John Hughes, 2000, Sci. Comput. Program..

Romero Tori, R. Sadananda, John Hughes, 2002, Informatics Curricula and Teaching Methods.

Luigia Binda, John Hughes, Jan Válek, 2010 .

John Hughes, John Hughes, 2007, PADL.

John Hughes, David Grant, Robert McLarty, 2005 .

Koen Claessen, John Hughes, Colin Runciman, 2002, Advanced Functional Programming.

Eric Atwell, John Hughes, E. Atwell, 1994, ECAI.

Nick Benton, John Hughes, Peter Dybjer, 2003 .

John Hughes, Hans Svensson, Koen Claessen, 2005 .

John Hughes, Thomas Arts, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Andreas G. Andreou, John Hughes, Philippe O. Pouliquen, 2017, 2017 IEEE International Symposium on Circuits and Systems (ISCAS).

Alejandro Russo, John Hughes, Agustín Mista, 2018, Haskell@ICFP.

John Hughes, Brian Guthrie, Adrian Spencer, 2004, Proceedings of the IEEE 2004 Custom Integrated Circuits Conference (IEEE Cat. No.04CH37571).

Ulf Norell, John Hughes, Hans Svensson, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

John Hughes, Jan Válek, Caspar Groot, 2016 .

Ulf Norell, John Hughes, Nicholas Smallbone, 2014, FASE.

John Hughes, Carsten Kehler Holst, John Hughes, 1990, Functional Programming.

John Hughes, David Grant, Robert McLarty, 2004 .

Philip W. Trinder, John Hughes, John Launchbury, 1987, DBPL.

Alejandro Russo, John Hughes, Ta-Chung Tsai, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).

Tom Rodden, John Hughes, Andy Crabtree, 1999 .

John Hughes, John Hughes, 1990 .

Frederick P. Brooks, John Hughes, Ouhyoung Ming, 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

John Hughes, John Hughes, J. Hughes, 2009 .

Tom Rodden, John Hughes, Andy Crabtree, 1999 .

John Hughes, 2004, Advanced Functional Programming.

John Hughes, Helen Stephenson, 2014 .

Ulf Norell, John Hughes, Andreas Abel, 2005, Haskell '05.

John Hughes, Chau-Kuang Chen, A. Dexter Samuels, 2016 .

Nick Benton, John Hughes, Eugenio Moggi, 2000, APPSEM.

John Hughes, John Hughes, 1995, Advanced Functional Programming.

John Hughes, Thomas Arts, Wojciech Mostowski, 2017, MARS@ETAPS.

John Hughes, Jan Válek, Cristina Tedeschi, 2010 .

John Hughes, 1989, Category Theory and Computer Science.

Alejandro Russo, John Hughes, Andrei Sabelfeld, 2006, ASIAN.

John Hughes, Thomas Arts, Joakim Johansson, 2006, ERLANG '06.

John Hughes, 1999, Comput. Secur..

John Hughes, Rogardt Heldal, 1997, PEPM.

John Hughes, Dennis Viehland, 2002 .

John Hughes, Eve L. Maler, Eve Maler, 2004 .

Ulf Norell, John Hughes, Jérôme Sautret, 2010, AST '10.

Alex Ferguson, John Hughes, 1989, Functional Programming.

Alex Ferguson, John Hughes, 1993, WSA.

Meng Wang, Stefan Hanenberg, John Hughes, 2018, Erlang Workshop.

John Hughes, Daniel J. Crichton, Sean Hardman, 2013 .

Ulf Norell, John Hughes, Nicholas Smallbone, 2011, Erlang '11.

Katarzyna Rycerz, John Hughes, Aleksander Byrski, 2018, Future Gener. Comput. Syst..

Ulf Norell, Benjamin C. Pierce, John Hughes, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Amr Sabry, John Hughes, Lars Pareto, 1996, POPL '96.

Koen Claessen, Alejandro Russo, John Hughes, 2008, Haskell '08.

Meng Wang, John Hughes, Nicholas Smallbone, 2015, Erlang Workshop.

John Hughes, Gebreselassie Baraki, John Hughes, 1989, Functional Programming.

John Hughes, Taylor Gutermute, Lynn Hickey, 1999, SIGGRAPH '99.

John Hughes, John Hughes, 2009, CEFP.

Eric Atwell, John Hughes, Clive Souter, 1995, ArXiv.

Walid Taha, John Hughes, Henning Makholm, 2001, PADO.

John Hughes, John Launchbury, John Hughes, 1992, Sci. Comput. Program..

John Hughes, Donald Musgrove, Donald R. Musgrove, 2019, STEAM-H: Science, Technology, Engineering, Agriculture, Mathematics & Health.

John Hughes, Rogardt Heldal, Dirk Dussart, 1997, PLDI '97.

John Hughes, 1998, MPC.

Ulf Norell, John Hughes, Thomas Arts, 2016, 2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST).

Ulf Norell, John Hughes, Nicholas Smallbone, 2016, AST@ICSE.

Andrew Moran, John Hughes, John Hughes, 1995, FPCA '95.

John Hughes, Aleksander Byrski, Wojciech Turek, 2018, Concurr. Comput. Pract. Exp..

John Hughes, John Launchbury, John Hughes, 1992, Mathematical Structures in Computer Science.

John Hughes, John Hughes, 1985, FPCA.

John Hughes, Liam Bannon, 2003 .

Simon L. Peyton Jones, Philip Wadler, John Hughes, 1992, Functional Programming.

Martin Hofmann, Thorsten Altenkirch, John Hughes, 2004, Dependently Typed Programming.

Lars-Åke Fredlund, Simon J. Thompson, John Derrick, 2009, FMCO.

John Hughes, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

John Hughes, John Launchbury, Ryszard Kubiak, 1991, Functional Programming.

Peter Thiemann, John Hughes, Dirk Dussart, 1997, ICFP '97.

John Hughes, John Hughes, 1989, Comput. J..

John Hughes, John Hughes, 2017, 1706.04651.

Andrew Moran, John Hughes, John Hughes, 1992, Functional Programming.

James R. Thieman, Todd King, John Hughes, 2008 .

John Hughes, 2004, J. Funct. Program..

John Hughes, John Hughes, 1985, Programs as Data Objects.

Koen Claessen, John Hughes, 2002, ACM SIGPLAN Notices.

John Hughes, Carsten Kehler Holst, 1991, Functional Programming.

John Hughes, John Hughes, 2016, A List of Successes That Can Change the World.

Dianxiang Xu, Daniel Hoffman, Hong Zhu, 2014, Software Quality Journal.

Lars-Åke Fredlund, John Hughes, Clara Benac Earle, 2016, ITiCSE.

John Hughes, David Cotton, Simon Kent, 2008 .

Koen Claessen, Alejandro Russo, John Hughes, 2011, AST '11.

Koen Claessen, John Hughes, Michal H. Palka, 2009, ICFP.

Salim Hariri, John Hughes, Youssif B. Al-Nashif, 2014, 2014 International Conference on Cloud and Autonomic Computing.

John Hughes, Thomas Arts, Alex Gerdes, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

John Hughes, Pablo E. Martínez López, 2002, ASIA-PEPM '02.

John Hughes, Robin Braun, Frank Chiang, 2006, Int. J. Pervasive Comput. Commun..

John Hughes, Jan Válek, Caspar Groot, 2018 .

John Hughes, John Launchbury, John Hughes, 1990, Functional Programming.

John Hughes, John Launchbury, 1994, Sci. Comput. Program..

John Hughes, Thomas Arts, Laura M. Castro, 2008, ERLANG '08.

John Hughes, John Launchbury, 1992, J. Log. Comput..

Koen Claessen, John Hughes, John Hughes, 2002, Haskell '02.

Koen Claessen, John Hughes, Nicholas Smallbone, 2010, TAP@TOOLS.

John Hughes, Zhenjiang Hu, Meng Wang, 2015 .

Simon L. Peyton Jones, Paul Hudak, Philip Wadler, 2007, HOPL.

John Hughes, 1998, CSUR.

John Hughes, Rogardt Heldal, 2000, Theor. Comput. Sci..

Alex Ferguson, John Hughes, 1992, Functional Programming.

John Hughes, 1998, Partial Evaluation.

Benjamin C. Pierce, John Hughes, Leonidas Lampropoulos, 2021, ESOP.

Benjamin C. Pierce, John Hughes, Leonidas Lampropoulos, 2013 .