Philip Wadler
发表
Philip Wadler,
P. Wadler,
Philip Wadler,
2005,
RTA.
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Philip Wadler,
2017
.
Philip Wadler,
Jack Williams,
J. Garrett Morris,
2017,
Dagstuhl Artifacts Ser..
Martin Odersky,
Philip Wadler,
Martin Wehr,
1995,
FPCA '95.
Martin Odersky,
Philip Wadler,
Gilad Bracha,
1998,
OOPSLA '98.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2010,
J. Funct. Program..
Martin Odersky,
Philip Wadler,
Enno Runne,
1998,
Generic Programming.
Philip Wadler,
P. Wadler,
1998,
SIGP.
Philip Wadler,
P. Wadler,
1988,
Theoretical Computer Science.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2007
.
Philip Wadler,
Sam Lindley,
Shayan Najd,
2016,
ArXiv.
Philip Wadler,
P. Wadler,
1984,
LFP '84.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2006
.
Philip Wadler,
B. Ford,
2002,
ICFP '02.
Philip Wadler,
Fabrizio Montesi,
Carsten Schürmann,
2016
.
Philip Wadler,
J. Garrett Morris,
Wen Kokke,
2019,
COORDINATION.
Philip Wadler,
Veronica Dahl,
2003
.
Bruno C. d. S. Oliveira,
Tom Schrijvers,
Philip Wadler,
2017,
Haskell.
Philip Wadler,
Jeremy G. Siek,
P. Wadler,
2010,
POPL '10.
Philip Wadler,
Ezra Cooper,
P. Wadler,
2010
.
Martin Odersky,
Philip Wadler,
David N. Turner,
1999,
Theor. Comput. Sci..
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Philip Wadler,
David J. King,
P. Wadler,
1992
.
Martin Odersky,
Philip Wadler,
Kim B. Bruce,
1998,
ECOOP.
Philip Wadler,
Peter J. Landin’s,
P. Wadler,
2000
.
Philip Wadler,
Gavin Bierman,
TypeScript Tng,
2013
.
Philip Wadler,
1996,
CSUR.
Philip Wadler,
1999,
The Logic Programming Paradigm.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2011,
Electron. Notes Theor. Comput. Sci..
Simon L. Peyton Jones,
Paul Hudak,
Philip Wadler,
1992,
SIGP.
Philip Wadler,
Jeremy Yallop,
2008
.
Philip Wadler,
P. Wadler,
1981,
FPCA '81.
Philip Wadler,
P. Wadler,
1993,
MFPS.
Philip Wadler,
P. Wadler,
1988,
POPL '88.
Philip Wadler,
2005,
RTA.
Philip Wadler,
Philip W. Trinder,
Jiansen He,
2014,
SCALA@ECOOP.
Philip Wadler,
P. Wadler,
Philip Wadler,
1990,
Theor. Comput. Sci..
Philip Wadler,
Simon J. Thompson,
1993,
J. Funct. Program..
Philip Wadler,
Avaya Labs,
2000
.
Philip Wadler,
Kei Davis,
P. Wadler,
1989,
Functional Programming.
Philip Wadler,
Atsushi Igarashi,
Peter Thiemann,
2014,
NII Shonan Meet. Rep..
Philip Wadler,
James H. Morris,
Eric Schmidt,
1980,
POPL '80.
Philip Wadler,
2003,
Inf. Comput..
Philip Wadler,
P. Wadler,
1990,
LISP and Functional Programming.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2006,
FMCO.
Philip Wadler,
P. Wadler,
1997,
CSUR.
Philip Wadler,
Philip Wadler,
2003,
ACM SIGPLAN International Conference on Functional Programming.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2008,
APLAS.
Bruno C. d. S. Oliveira,
Tom Schrijvers,
Philip Wadler,
2017
.
Philip Wadler,
Robert Bruce Findler,
Amal Ahmed,
2009,
ECOOP 2009.
Philip Wadler,
Jérôme Siméon,
P. Wadler,
2003,
POPL '03.
Philip Wadler,
P. Wadler,
1994,
LISP Symb. Comput..
Philip Wadler,
Atsushi Igarashi,
Benjamin C. Pierce,
2001
.
Simon L. Peyton Jones,
Paul Hudak,
Philip Wadler,
1992,
ACM SIGPLAN Notices.
Bruno C. d. S. Oliveira,
Tom Schrijvers,
Philip Wadler,
2019,
Journal of Functional Programming.
Philip Wadler,
Joyce Kilmer,
2002
.
Simon L. Peyton Jones,
Philip Wadler,
Cordelia V. Hall,
1994,
ESOP.
Philip Wadler,
David J. King,
P. Wadler,
1992
.
Philip Wadler,
Sam Lindley,
Simon Fowler,
2016,
ECOOP.
Philip Wadler,
2012,
SIGP.
Philip Wadler,
Atsushi Igarashi,
Benjamin C. Pierce,
1999,
OOPSLA '99.
Philip Wadler,
P. Wadler,
2000,
Markup languages.
Martin Odersky,
Philip Wadler,
Yannis Smaragdakis,
1998
.
Philip Wadler,
Carsten Kehler Holst,
Rogardt Heldal,
1991
.
Philip Wadler,
1997,
DBPL.
Philip Wadler,
P. Wadler,
2000
.
Philip Wadler,
2006,
OOPSLA '06.
Philip Wadler,
Jérôme Siméon,
Mary F. Fernández,
2001,
ICDT.
Philip Wadler,
Jack Williams,
J. Garrett Morris,
2018,
Proc. ACM Program. Lang..
George C. Necula,
Philip Wadler,
P. Wadler,
2008,
POPL.
Philip Wadler,
P. Wadler,
1991
.
Philip Wadler,
2014,
ICCSW.
Philip Wadler,
P. Wadler,
1989,
FPCA.
Philip Wadler,
P. Wadler,
1991,
PEPM '91.
Simon Peyton Jones,
Philip Wadler,
Sl Peyton Jones,
1992
.
Philip Wadler,
Fabrizio Montesi,
Carsten Schürmann,
2016,
CONCUR.
Graham Hutton,
Jan Vitek,
Frank Tip,
2014,
SIGP.
Philip Wadler,
Masami Hagiya,
2006,
Lecture Notes in Computer Science.
Philip Wadler,
Atsushi Igarashi,
Benjamin C. Pierce,
2001,
TOPL.
Philip Wadler,
1995,
IWMM.
Philip Wadler,
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
2017,
Dagstuhl Reports.
Simon L. Peyton Jones,
Philip Wadler,
Cordelia V. Hall,
1992,
Functional Programming.
Peter J. Stuckey,
Tom Schrijvers,
Philip Wadler,
2009,
Journal of Functional Programming.
Philip Wadler,
P. Wadler,
1995,
NATO ASI PDC.
Philip Wadler,
P. Wadler,
1990,
Mathematical Structures in Computer Science.
Philip Wadler,
P. Wadler,
2001,
Inf. Comput..
Philip Wadler,
Kei Davis,
P. Wadler,
1990,
Functional Programming.
Philip Wadler,
Margaret M. Burnett,
Stefan Hanenberg,
2016,
CHI Extended Abstracts.
Philip Wadler,
Maurice Naftalin,
2006
.
Philip Wadler,
Phil Trinder,
P. Wadler,
1999
.
Philip Wadler,
Amr Sabry,
P. Wadler,
1997,
TOPL.
Philip Wadler,
Robert Bruce Findler,
P. Wadler,
2009,
ESOP.
Philip Wadler,
P. Wadler,
2004
.
George C. Necula,
Philip Wadler,
2008,
POPL 2008.
Philip Wadler,
P. Wadler,
1987,
Softw. Pract. Exp..
Philip Wadler,
1991
.
Philip Wadler,
Atsushi Igarashi,
Benjamin C. Pierce,
1999,
OOPSLA.
James Cheney,
Philip Wadler,
Sam Lindley,
2022
.
Philip Wadler,
Jonathan Robie,
Matthew Fuchs,
2002,
Comput. Networks.
Philip Wadler,
Jérôme Siméon,
2003,
POPL '03.
Philip Wadler,
P. Wadler,
1976,
CACM.
Simon L. Peyton Jones,
Philip Wadler,
John Hughes,
1992,
Functional Programming.
Martin Odersky,
Philip Wadler,
John Maraist,
1998,
Journal of Functional Programming.
Philip Wadler,
1998,
Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).
Philip Wadler,
2012,
ICFP '12.
James Cheney,
Philip Wadler,
Sam Lindley,
2012
.
James Cheney,
Philip Wadler,
Sam Lindley,
2014
.
Philip Wadler,
2017,
J. Univers. Comput. Sci..
Martin Odersky,
Philip Wadler,
P. Wadler,
2000
.
Philip Wadler,
2002,
Advanced Functional Programming.
Philip Wadler,
P. Wadler,
1993,
MFCS.
Martin Odersky,
Philip Wadler,
David N. Turner,
1995,
MFPS.
Philip Wadler,
Robert Bruce Findler,
Jeremy G. Siek,
2011,
POPL '11.
Philip Wadler,
P. Wadler,
2015,
Commun. ACM.
Philip Wadler,
2001,
VLDB.
Philip Wadler,
Simon Marlow,
P. Wadler,
1997,
ICFP '97.
Philip Wadler,
P. Wadler,
2018,
SBMF.
Philip Wadler,
Sam Lindley,
2010,
ESOP.
Philip Wadler,
1986,
Graph Reduction.
Simon L. Peyton Jones,
Philip Wadler,
2003,
J. Funct. Program..
Philip Wadler,
P. Wadler,
1987,
SIGP.
Suresh Jagannathan,
Philip Wadler,
Roberto Giacobazzi,
2013,
SIGP.
James Cheney,
Philip Wadler,
Sam Lindley,
2013
.
James Cheney,
Philip Wadler,
Sam Lindley,
2014,
SIGMOD Conference.
Philip Wadler,
Sam Lindley,
2010
.
Philip Wadler,
Jonathan Robie,
Matthew Fuchs,
2001,
WWW '01.
Philip Wadler,
Jérôme Siméon,
2002,
FLOPS.
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Philip Wadler,
David N. Turner,
1999,
Theor. Comput. Sci..
Philip Wadler,
Veronica Dahl,
2003
.
Philip Wadler,
Sam Lindley,
Shayan Najd,
2015,
PEPM.
Philip Wadler,
Ezra Cooper,
P. Wadler,
2009,
PPDP '09.
Philip Wadler,
R. J. M. Hughes,
P. Wadler,
1987,
FPCA.
Philip Wadler,
Veronica Dahl,
P. Wadler,
2002,
Lecture Notes in Computer Science.
Simon L. Peyton Jones,
Philip Wadler,
P. Wadler,
2007,
Haskell '07.
Philip Wadler,
Simon Marlow,
P. Wadler,
1992,
Functional Programming.
Philip Wadler,
P. Trinder,
P. Trinder,
1989,
Fourth IEEE Region 10 International Conference TENCON.
Philip Wadler,
Francesco Cesarini,
P. Wadler,
2004,
Erlang Workshop.
Philip Wadler,
1997
.
Philip Wadler,
2016,
Commun. ACM.
Philip Wadler,
Andrew Ferguson,
1988
.
Philip Wadler,
Jack Williams,
J. Garrett Morris,
2017,
ECOOP.
Philip Wadler,
1998,
SIGP.
Philip Wadler,
Nick Benton,
P. Wadler,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Philip Wadler,
P. Wadler,
2015,
SNAPL.
Philip Wadler,
Jérôme Siméon,
Mary F. Fernández,
2000,
FSTTCS.
Philip Wadler,
Masami Hagiya,
2006
.
Richard S. Bird,
Philip Wadler,
1992,
Hanser Studienbücher der Informatik.
Philip Wadler,
Stephen Blott,
S. Blott,
1989,
POPL '89.
Martin Odersky,
Philip Wadler,
P. Wadler,
1997,
POPL '97.
James Cheney,
Philip Wadler,
Sam Lindley,
2014,
SIGMOD 2014.
James Cheney,
Philip Wadler,
Sam Lindley,
2013,
ArXiv.
Philip Wadler,
1985,
Programs as Data Objects.
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Martin Odersky,
Philip Wadler,
1998,
Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).
James Cheney,
Philip Wadler,
Sam Lindley,
2013,
PEPM '14.
Philip Wadler,
P. Wadler,
1997
.
Richard S. Bird,
Philip Wadler,
P. Wadler,
1988,
Prentice Hall International series in computer science.
Philip Wadler,
1995,
Advanced Functional Programming.
Philip Wadler,
Peter Thiemann,
Jeremy G. Siek,
2015,
Journal of Functional Programming.
Philip Wadler,
Christian Mossin,
David N. Turner,
1995,
FPCA '95.
Philip Wadler,
Carsten Kehler Holst,
Rogardt Heldal,
1992
.
Simon L. Peyton Jones,
Paul Hudak,
Philip Wadler,
2007,
HOPL.
Philip Wadler,
P. Wadler,
1987,
POPL '87.
Philip Wadler,
P. Wadler,
1990,
Programming Concepts and Methods.
Philip Wadler,
1994
.
Philip Wadler,
P. Wadler,
2007,
Theor. Comput. Sci..
Simon Peyton Jones,
Philip Wadler,
P. Wadler,
2007
.
Philip Wadler,
2014,
J. Funct. Program..
Philip Wadler,
P. Wadler,
1998,
ICFP '98.
Simon L. Peyton Jones,
Philip Wadler,
Cordelia V. Hall,
1994,
TOPL.
Simon L. Peyton Jones,
Philip Wadler,
P. Wadler,
1993,
POPL '93.
Philip Wadler,
2001
.
Philip Wadler,
Karsten Weihe,
2021
.
Philip Wadler,
P. Wadler,
2021,
ISoLA.
Philip Wadler,
1987
.
Martin Odersky,
Philip Wadler,
1997
.
Philip Wadler,
Manuel M. T. Chakravarty,
Orestis Melkonian,
2020
.
Philip Wadler,
Amr Sabry,
P. Wadler,
1996,
ICFP '96.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2008
.
Philip Wadler,
P. Wadler,
2005
.