John Hughes

发表

Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Ulf Norell, Benjamin C. Pierce, John Hughes, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
John Hughes, John Hughes, 1985, FPCA.
John Hughes, John Hughes, 2009, CEFP.
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2016, POPL.
Amr Sabry, John Hughes, Lars Pareto, 1996, POPL '96.
K. Claessen, John Hughes, Koen Claessen, 2000, ICFP '00.
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2015 .
John Hughes, 2004, Journal of Functional Programming.
John Hughes, Alex Ferguson, 1993, WSA.
John Hughes, John Hughes, 1985, Programs as Data Objects.
Miroslaw Malek, John Hughes, Tom Gunter, 1982, ISCA 1982.
John Hughes, John Hughes, 1990 .
Koen Claessen, K. Claessen, John Hughes, 2000, ACM SIGPLAN International Conference on Functional Programming.
Simon L. Peyton Jones, Paul Hudak, Philip Wadler, 2007, HOPL.
John Hughes, Carsten Kehler Holst, John Hughes, 1990, Functional Programming.
Katarzyna Rycerz, John Hughes, Aleksander Byrski, 2018, Future Gener. Comput. Syst..
John Hughes, John Hughes, 1989, Comput. J..
John Hughes, John Hughes, 2000, Sci. Comput. Program..
John T. O'Donnell, John Hughes, John Hughes, 1991 .
K. Claessen, John Hughes, Koen Claessen, 2000, SIGP.
Koen Claessen, John Hughes, Nicholas Smallbone, 2010, TAP@TOOLS.
Richard S. Bird, John Hughes, R. Bird, 1987, Inf. Process. Lett..
John Hughes, Thomas Arts, Joakim Johansson, 2006, ERLANG '06.
Nils Anders Danielsson, Jeremy Gibbons, John Hughes, 2006, POPL '06.
John Hughes, John Hughes, 2016, A List of Successes That Can Change the World.
John Hughes, John Launchbury, John Hughes, 1992, Mathematical Structures in Computer Science.
John Hughes, John Launchbury, John Hughes, 1992, Sci. Comput. Program..
John Hughes, Gebreselassie Baraki, John Hughes, 1989, Functional Programming.
John Hughes, John Launchbury, John Hughes, 1990, Functional Programming.
John Hughes, Rogardt Heldal, John Hughes, 2001, Ershov Memorial Conference.
Simon Peyton-Jones, John Hughes, A. Eghbali, 2020, Definitions.
Andrew Moran, John Hughes, John Hughes, 1995, FPCA '95.
Andrew Moran, John Hughes, John Hughes, 1992, Functional Programming.
John Hughes, John O'Donnell, John Hughes, 1989, Functional Programming.
Ulf Norell, John Hughes, Andreas Abel, 2005, Haskell '05.
Nick Benton, John Hughes, Eugenio Moggi, 2000, APPSEM.
Lars-Åke Fredlund, John Hughes, Clara Benac Earle, 2016, ITiCSE.
John Hughes, Zhenjiang Hu, Meng Wang, 2015 .
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
John Hughes, John Hughes, 2007, PADL.
Meng Wang, John Hughes, Nicholas Smallbone, 2015, Erlang Workshop.
Alejandro Russo, John Hughes, Agustín Mista, 2018, Haskell@ICFP.
Koen Claessen, Alejandro Russo, John Hughes, 2011, AST '11.
Koen Claessen, Alejandro Russo, John Hughes, 2008, Haskell '08.
Meng Wang, Stefan Hanenberg, John Hughes, 2018, Erlang Workshop.
Koen Claessen, John Hughes, Michal H. Palka, 2010, AST '10.
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2016, POPL.
John Hughes, John Hughes, 1989 .
John Hughes, John Hughes, 1995, Advanced Functional Programming.
Koen Claessen, John Hughes, John Hughes, 2002, Haskell '02.
Koen Claessen, John Hughes, Michal H. Palka, 2009, ICFP.
Peter Thiemann, John Hughes, Dirk Dussart, 1997, ICFP '97.
Walid Taha, John Hughes, Henning Makholm, 2001, PADO.