P. Wadler

发表

Philip Wadler, P. Wadler, 1988, POPL '88.
P. Wadler, Martin Odersky, John Maraist, 1994 .
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 2001, TOPL.
Philip Wadler, P. Wadler, 1990, LISP and Functional Programming.
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 1999, OOPSLA '99.
P. Wadler, A. Sabry, 1996 .
Philip Wadler, R. J. M. Hughes, P. Wadler, 1987, FPCA.
P. Wadler, 2000 .
Richard S. Bird, Philip Wadler, P. Wadler, 1988, Prentice Hall International series in computer science.
Philip Wadler, P. Wadler, Philip Wadler, 1990, Theor. Comput. Sci..
Philip Wadler, P. Wadler, 1997, CSUR.
Martin Odersky, Philip Wadler, David N. Turner, 1995, MFPS.
Philip Wadler, Amr Sabry, P. Wadler, 1996, ICFP '96.
J. Garrett Morris, P. Wadler, J. McKinna, 2020 .
Jeremy G. Siek, James T. Perconti, P. Wadler, 2014 .
Jeremy G. Siek, P. Wadler, Peter Thiemann, 2014 .
Jeremy G. Siek, P. Wadler, 2009, STOP@ECOOP.
Philip Wadler, P. Wadler, 1995, NATO ASI PDC.
Philip Wadler, P. Wadler, 1991, PEPM '91.
J. Cheney, P. Wadler, R. Perera, 2017 .
P. Wadler, Ranjit Jhala, Niki Vazou, 2017 .
Philip Wadler, P. Wadler, 1988, Theoretical Computer Science.
Philip Wadler, P. Wadler, 1990, Programming Concepts and Methods.
Philip Wadler, Jérôme Siméon, P. Wadler, 2003, POPL '03.
P. Wadler, Martin Odersky, D. Turner, 1999, MFPS.
B. Pierce, P. Wadler, Atsushi Igarashi, 1999, OOPSLA '99.
Martín Abadi, Takayasu Ito, P. Wadler, 1991, Lecture Notes in Computer Science.
Paul Hudak, F. Warren Burton, Philip Wadler, 1997 .
Simon L. Peyton Jones, Paul Hudak, Philip Wadler, 1992, ACM SIGPLAN Notices.
P. Wadler, 1991, PEPM '91.
V. Vasconcelos, P. Wadler, N. Yoshida, 2017 .
J. G. Morris, P. Wadler, Wen Kokke, 2019 .
Philip Wadler, P. Wadler, 2000, Markup Lang..
P. Wadler, A. Sabry, 1996, ICFP '96.
Philip Wadler, Peter J. Landin’s, P. Wadler, 2000 .
Philip Wadler, Veronica Dahl, P. Wadler, 2002, Lecture Notes in Computer Science.
Philip Wadler, Stephen Blott, S. Blott, 1989, POPL '89.
Simon L. Peyton Jones, Paul Hudak, Philip Wadler, 2007, HOPL.
Philip Wadler, P. Wadler, 1991 .
Philip Wadler, Jeremy Yallop, Sam Lindley, 2006, FMCO.
Martin Odersky, Philip Wadler, Gilad Bracha, 1998, OOPSLA '98.
Martin Odersky, Philip Wadler, P. Wadler, 1997, POPL '97.
Philip Wadler, Simon Marlow, P. Wadler, 1992, Functional Programming.
Philip Wadler, Simon Marlow, P. Wadler, 1997, ICFP '97.
Simon L. Peyton Jones, Philip Wadler, P. Wadler, 1993, POPL '93.
Philip Wadler, P. Wadler, 2015, Commun. ACM.
Philip Wadler, P. Wadler, 1990, Mathematical Structures in Computer Science.
Philip Wadler, Sam Lindley, Shayan Najd, 2015, PEPM.
James Cheney, Philip Wadler, Sam Lindley, 2013 .
Philip Wadler, P. Wadler, Philip Wadler, 2005, RTA.
Philip Wadler, Kei Davis, P. Wadler, 1989, Functional Programming.
Philip Wadler, Kei Davis, P. Wadler, 1990, Functional Programming.
Philip Wadler, P. Wadler, 1998, ICFP '98.
Simon L. Peyton Jones, Philip Wadler, P. Wadler, 2007, Haskell '07.
Simon Peyton Jones, Philip Wadler, P. Wadler, 2007 .
Martin Odersky, Philip Wadler, John Maraist, 1998, Journal of Functional Programming.
Simon L. Peyton Jones, Philip Wadler, Cordelia V. Hall, 1994, TOPL.
Philip Wadler, P. Wadler, 1992, POPL '92.
Philip Wadler, P. Wadler, 1987, Softw. Pract. Exp..
Philip Wadler, P. Wadler, 2004 .
Philip Wadler, Phil Trinder, P. Wadler, 1999 .
Philip Wadler, Nick Benton, P. Wadler, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Philip Wadler, Ranjit Jhala, Vikraman Choudhury, 2017, Proc. ACM Program. Lang..
Philip Wadler, Robert Bruce Findler, P. Wadler, 2009, ESOP.
Peter J. Stuckey, Tom Schrijvers, Philip Wadler, 2009, Journal of Functional Programming.
Philip Wadler, David J. King, P. Wadler, 1992, Functional Programming.
Philip Wadler, James H. Morris, Eric Schmidt, 1980, POPL '80.
Philip Wadler, Carsten Kehler Holst, Rogardt Heldal, 1992, Workshops in Computing.
Philip Wadler, P. Wadler, 1989, FPCA.
Philip Wadler, Kevin Hammond, Christine Hall, 1993 .
Philip Wadler, Francesco Cesarini, P. Wadler, 2004, Erlang Workshop.
Philip Wadler, David J. King, P. Wadler, 1992 .
Philip Wadler, Christian Mossin, David N. Turner, 1995, FPCA '95.
Philip Wadler, P. Wadler, 2021, ISoLA.
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, 2020, Financial Cryptography Workshops.
Philip Wadler, Manuel M. T. Chakravarty, Orestis Melkonian, 2020 .
Bruno C. d. S. Oliveira, Tom Schrijvers, Philip Wadler, 2019, Journal of Functional Programming.
Philip Wadler, James Chapman, Roman Kireev, 2019, MPC.
Dominic A. Orchard, P. Wadler, H. Eades, 2020, MSFP@ETAPS.
Philip Wadler, P. Wadler, 1998, SIGP.
Philip Wadler, Sam Lindley, Simon Fowler, 2016, ECOOP.
Philip Wadler, Jack Williams, J. Garrett Morris, 2017, ECOOP.
Philip Wadler, Peter Thiemann, Jeremy G. Siek, 2015, Journal of Functional Programming.
Philip Wadler, Robert Bruce Findler, Jeremy G. Siek, 2011, POPL '11.
Philip Wadler, P. Wadler, 2015, SNAPL.
Peter Thiemann, Philip Wadler, Vasco Thudichum Vasconcelos, 2017, Journal of Functional Programming.
Philip Wadler, Fabrizio Montesi, Carsten Schürmann, 2016, CONCUR.
James Cheney, Philip Wadler, Sam Lindley, 2013, PEPM '14.
James Cheney, Philip Wadler, Sam Lindley, 2013, ArXiv.
Philip Wadler, Amr Sabry, P. Wadler, 1997, TOPL.
Philip Wadler, Ezra Cooper, P. Wadler, 2009, PPDP '09.
Philip Wadler, Jeremy Yallop, Sam Lindley, 2008, APLAS.
J. Yallop, P. Wadler, S. Lindley, 2006, FMCO.
Philip Wadler, Don Chamberlin, Denise L. Draper, 2003 .
P. Wadler, Ranjit Jhala, Niki Vazou, 2017, Proc. ACM Program. Lang..
Philip Wadler, Philip W. Trinder, Jiansen He, 2014, SCALA@ECOOP.
H. Conrad Cunningham, H. C. Cunningham, P. Hudak, 2007 .
P. Wadler, 2015, Commun. ACM.
Philip Wadler, P. Wadler, 2007, Theor. Comput. Sci..
Philip Wadler, P. Wadler, 2001, Inf. Comput..
Philip Wadler, P. Wadler, 2001 .
Jeremy G. Siek, P. Wadler, Peter Thiemann, 2015, Journal of functional programming.
Philip Wadler, Ezra Cooper, P. Wadler, 2010 .
Philip Wadler, P. Wadler, 2018, SBMF.
Philip Wadler, Jack Williams, J. Garrett Morris, 2018, Proc. ACM Program. Lang..
Philip Wadler, Jeremy G. Siek, Amal Ahmed, 2017, Proc. ACM Program. Lang..
Philip Wadler, Jeremy G. Siek, P. Wadler, 2010, POPL '10.
Philip Wadler, P. Wadler, 1994, LISP Symb. Comput..
Philip Wadler, P. Wadler, 1993, MFCS.
James Cheney, Philip Wadler, Sam Lindley, 2014, SIGMOD Conference.
James Cheney, Philip Wadler, Sam Lindley, 2012 .
Philip Wadler, P. Wadler, 1993, MFPS.
Philip Wadler, P. Wadler, 2000 .
Philip Wadler, Sam Lindley, Shayan Najd, 2016, ArXiv.
P. Wadler, Josef Svenningsson, S. Lindley, 2015, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation.
P. Wadler, S. Lindley, James Cheney, 2013, ICFP.
Martin Odersky, Philip Wadler, Enno Runne, 1998, Generic Programming.