Philip Wadler
发表
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
ISoLA.
Philip Wadler,
P. Wadler,
2001
.
Philip Wadler,
Robert Bruce Findler,
2009
.
Philip Wadler,
P. Wadler,
1992,
POPL '92.
Philip Wadler,
James Chapman,
Roman Kireev,
2019,
MPC.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
ISoLA.
Philip Wadler,
Jeremy G. Siek,
Wen Kokke,
2020,
Sci. Comput. Program..
Atsushi Igarashi,
Philip Wadler,
Vasco Thudichum Vasconcelos,
2017,
Proc. ACM Program. Lang..
Philip Wadler,
Ranjit Jhala,
Vikraman Choudhury,
2017,
Proc. ACM Program. Lang..
Peter Thiemann,
Philip Wadler,
Vasco Thudichum Vasconcelos,
2017,
Journal of Functional Programming.
Philip Wadler,
Kevin Hammond,
Christine Hall,
1993
.
Philip Wadler,
Dominic Orchard,
Harley Eades,
2020,
MSFP@ETAPS.
Paul Hudak,
F. Warren Burton,
Philip Wadler,
1997
.
Philip Wadler,
Don Chamberlin,
Denise L. Draper,
2003
.
Philip Wadler,
萩谷 昌己,
2006
.
Philip Wadler,
Adolfo Duran,
2021,
Sci. Comput. Program..
Philip Wadler,
Carsten Kehler Holst,
Rogardt Heldal,
1992,
Workshops in Computing.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
Financial Cryptography Workshops.
Philip Wadler,
Jeremy G. Siek,
Amal Ahmed,
2017,
Proc. ACM Program. Lang..
Bernardo Toninho,
Philip Wadler,
Raymond Hu,
2020,
Proc. ACM Program. Lang..
Michael Peyton Jones,
Philip Wadler,
Roman Kireev,
2019,
MPC.