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.
John Hughes,
Andrew Agapiou,
John Blackie,
2016
.
Luigia Binda,
John Hughes,
Jan Válek,
2010
.
John Hughes,
John Hughes,
2007,
PADL.
John Hughes,
John W. Hughes,
1851
.
John Hughes,
David Grant,
Robert McLarty,
2005
.
John Hughes,
2013
.
John Hughes,
Mehul Patel,
Julio L. Marius,
2006
.
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,
P. Bartos,
Pavel Trtik,
2004
.
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
.
John Hughes,
Kei Davis,
1989
.
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
.
Simon L. Peyton Jones,
Paul Hudak,
Philip Wadler,
1992,
SIGP.
Alex Ferguson,
John Hughes,
1992,
Functional Programming.
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
.
Robert Eadie,
John Hughes,
David Comiskey,
2015,
Int. J. 3 D Inf. Model..
Ulf Norell,
John Hughes,
Andreas Abel,
2005,
Haskell '05.
Koen Claessen,
Robert Bruce Findler,
John Hughes,
2015,
ESOP.
John Hughes,
Chau-Kuang Chen,
A. Dexter Samuels,
2016
.
Nick Benton,
John Hughes,
Eugenio Moggi,
2000,
APPSEM.
Luigia Binda,
John Hughes,
Jan Válek,
2010
.
John Hughes,
John Hughes,
1995,
Advanced Functional Programming.
John Hughes,
Thomas Arts,
Wojciech Mostowski,
2017,
MARS@ETAPS.
John Hughes,
Jan Válek,
Caspar Groot,
2012
.
John Hughes,
Roger Lewis,
David N. Lerner,
2009
.
John Hughes,
Jan Válek,
Cristina Tedeschi,
2010
.
John Hughes,
1985
.
John Hughes,
1999,
CQRE.
John Hughes,
1989,
Category Theory and Computer Science.
Alejandro Russo,
John Hughes,
Andrei Sabelfeld,
2006,
ASIAN.
John Hughes,
2015
.
John Hughes,
Thomas Arts,
Joakim Johansson,
2006,
ERLANG '06.
John Hughes,
2001
.
John Hughes,
1999,
Comput. Secur..
John Hughes,
John Hughes,
2008,
SIGP.
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.
John Hughes,
Ruofei Zhang,
Keng-hao Chang,
2019,
KDD.
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 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,
Marta Zurakowska,
2013
.
John Hughes,
Rex Page,
2002,
Erlang Workshop.
John Hughes,
1995
.
John Hughes,
Monika Buscher,
Monika Buscher,
1999
.
John Hughes,
R. Hughes,
1986,
Inf. Process. Lett..
John Hughes,
1998,
MPC.
John Hughes,
J. Hughes,
1994
.
John Hughes,
John Hughes,
1992,
MPC.
Ulf Norell,
John Hughes,
Thomas Arts,
2016,
2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST).
Leveraging Sparsity to Speed Up Polynomial Feature Expansions of CSR Matrices Using K-Simplex Numbers
pdf
John Hughes,
Andrew Nystrom,
2018,
ArXiv.
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,
Kei Davis,
1990,
Functional Programming.
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.
L. S. Gardiner,
R. M. Russell,
R. M. Johnson,
2003
.
James R. Thieman,
Todd King,
John Hughes,
2008
.
John Hughes,
2004,
J. Funct. Program..
R.P.J. van Hees,
Luigia Binda,
John Hughes,
2012
.
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,
2000,
ESOP.
John Hughes,
David Cotton,
Simon Kent,
2008
.
John Hughes,
Jan Válek,
John Hughes,
2003
.
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,
2018
.
John Hughes,
Lars Pareto,
John Hughes,
1999,
ICFP '99.
John Hughes,
Thomas Arts,
Alex Gerdes,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
John Hughes,
2011,
FMCAD.
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,
Richard Jois,
Saad Al Asady,
2010
.
John Hughes,
Thomas Arts,
Laura M. Castro,
2008,
ERLANG '08.
John Hughes,
John Launchbury,
1992,
J. Log. Comput..
Luigia Binda,
John Hughes,
Jan Válek,
2016
.
John Hughes,
2012
.
John Hughes,
Andrew Hursthouse,
Robert Turner,
2019,
Journal of Cultural Heritage.
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
.
Koen Claessen,
John Hughes,
2000,
ICFP.
Simon L. Peyton Jones,
Paul Hudak,
Philip Wadler,
2007,
HOPL.
John Hughes,
1998,
CSUR.
John Hughes,
John Hughes,
2017
.
John Hughes,
Rogardt Heldal,
2000,
Theor. Comput. Sci..
John Hughes,
1985,
FPCA.
John Hughes,
Yaacov Petscher,
Y. Petscher,
2016
.
John Hughes,
John Hughes,
1996,
Dagstuhl Seminar on Partial Evaluation.
John Hughes,
Martin Bezener,
Galin L. Jones,
2018
.
Alex Ferguson,
John Hughes,
1992,
Functional Programming.
John Hughes,
1998,
Partial Evaluation.
John Hughes,
Siegfried E. Grosskopf,
Tawab Kazemi,
2012
.
Benjamin C. Pierce,
John Hughes,
Leonidas Lampropoulos,
2021,
ESOP.
Robert Giegerich,
John Hughes,
2021
.
Chris Hankin,
John Hughes,
Werner Damm,
2021
.
John Hughes,
2007
.
Benjamin C. Pierce,
John Hughes,
Leonidas Lampropoulos,
2013
.