default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilip Wadler
Person information
- affiliation: University of Edinburgh, Scotland, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c93]Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu:
Structured Contracts in the EUTxO Ledger Model. FMBC@CAV 2024: 10:1-10:19- 2021
- [b4]Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler:
Introduction to Computation - Haskell, Logic and Automata. Undergraduate Topics in Computer Science, Springer 2021, ISBN 978-3-030-76907-9, pp. 1-356 - [j49]Jeremy G. Siek
, Peter Thiemann, Philip Wadler:
Blame and coercion: Together again for the first time. J. Funct. Program. 31: e20 (2021) - [j48]Adolfo Duran, Philip Wadler:
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. Sci. Comput. Program. 201: 102565 (2021) - [c92]Philip Wadler:
GATE: Gradual Effect Types. ISoLA 2021: 335-345 - 2020
- [j47]Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler:
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. 30: e17 (2020) - [j46]Wen Kokke, J. Garrett Morris, Philip Wadler:
Towards Races in Linear Logic. Log. Methods Comput. Sci. 16(4) (2020) - [j45]Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight go. Proc. ACM Program. Lang. 4(OOPSLA): 149:1-149:29 (2020) - [j44]Wen Kokke, Jeremy G. Siek, Philip Wadler:
Programming language foundations in Agda. Sci. Comput. Program. 194: 102440 (2020) - [c91]Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler:
The Extended UTXO Model. Financial Cryptography Workshops 2020: 525-539 - [c90]Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler:
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) 2020: 89-111 - [c89]Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner:
UTXOsf ma: UTXO with Multi-asset Support. ISoLA (3) 2020: 112-130 - [c88]Dominic Orchard, Philip Wadler, Harley Eades III:
Unifying graded and parameterised monads. MSFP@ETAPS 2020: 18-38 - [i15]Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight Go. CoRR abs/2005.11710 (2020)
2010 – 2019
- 2019
- [j43]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019) - [j42]Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian:
COCHIS: Stable and coherent implicits. J. Funct. Program. 29: e3 (2019) - [c87]Wen Kokke, J. Garrett Morris, Philip Wadler:
Towards Races in Linear Logic. COORDINATION 2019: 37-53 - [c86]James Chapman, Roman Kireev, Chad Nester, Philip Wadler:
System F in Agda, for Fun and Profit. MPC 2019: 255-297 - [c85]Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler:
Unraveling Recursion: Compiling an IR with Recursion to System F. MPC 2019: 414-443 - [i14]Wen Kokke, J. Garrett Morris, Philip Wadler:
Towards Races in Linear Logic. CoRR abs/1909.13376 (2019) - 2018
- [j41]Jack Williams, J. Garrett Morris, Philip Wadler:
The root cause of blame: contracts for intersection and union types. Proc. ACM Program. Lang. 2(OOPSLA): 134:1-134:29 (2018) - [j40]Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2(POPL): 53:1-53:31 (2018) - [c84]Philip Wadler:
Programming Language Foundations in Agda. SBMF 2018: 56-73 - [i13]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018) - 2017
- [j39]Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski:
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). Dagstuhl Artifacts Ser. 3(2): 08:1-08:2 (2017) - [j38]Philip Wadler:
Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday. J. Univers. Comput. Sci. 23(1): 5-20 (2017) - [j37]Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017) - [j36]Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler:
Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. 1(ICFP): 39:1-39:28 (2017) - [c83]Simon Fowler, Sam Lindley, Philip Wadler:
Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP 2017: 11:1-11:28 - [c82]Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski:
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ECOOP 2017: 28:1-28:29 - [c81]Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler:
Quantified class constraints. Haskell 2017: 148-161 - [i12]Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
Refinement Reflection: Complete Verification with SMT. CoRR abs/1711.03842 (2017) - [i11]Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida:
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7(1): 158-189 (2017) - 2016
- [j35]Philip Wadler:
Technical Perspective: Why didn't I think of that? Commun. ACM 59(8): 92 (2016) - [c80]Brad A. Myers, Andreas Stefik, Stefan Hanenberg, Antti-Juhani Kaijanaho, Margaret M. Burnett, Franklyn A. Turbak, Philip Wadler:
Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016. CHI Extended Abstracts 2016: 1104-1107 - [c79]Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler:
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR 2016: 33:1-33:15 - [c78]Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Everything old is new again: quoted domain-specific languages. PEPM 2016: 25-36 - [i10]Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Embedding by Normalisation. CoRR abs/1603.05197 (2016) - [i9]Simon Fowler, Sam Lindley, Philip Wadler:
Mixing Metaphors: Actors as Channels and Channels as Actors. CoRR abs/1611.06276 (2016) - 2015
- [j34]Philip Wadler:
Propositions as types. Commun. ACM 58(12): 75-84 (2015) - [c77]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: together again for the first time. PLDI 2015: 425-435 - [c76]Philip Wadler:
A Complement to Blame. SNAPL 2015: 309-320 - [i8]Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Everything old is new again: Quoted Domain Specific Languages. CoRR abs/1507.07264 (2015) - 2014
- [j33]Philip Wadler:
Propositions as sessions. J. Funct. Program. 24(2-3): 384-418 (2014) - [j32]Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler:
Practices of PLDI. ACM SIGPLAN Notices 49(4S): 33-38 (2014) - [c75]Jiansen He, Philip Wadler, Philip W. Trinder:
Typecasting actors: from Akka to TAkka. SCALA@ECOOP 2014: 23-33 - [c74]Philip Wadler:
You and Your Research and the Elements of Style. ICCSW 2014: 2 - [c73]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective quotation: relating approaches to language-integrated query. PEPM 2014: 15-26 - [c72]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference 2014: 1027-1038 - [i7]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR abs/1404.7078 (2014) - [i6]Atsushi Igarashi, Peter Thiemann, Philip Wadler:
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [j31]Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler:
Principles of POPL. ACM SIGPLAN Notices 48(4S): 12-16 (2013) - [c71]James Cheney, Sam Lindley, Philip Wadler:
A practical theory of language-integrated query. ICFP 2013: 403-416 - [i5]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective Quotation. CoRR abs/1310.4780 (2013) - 2012
- [j30]Philip Wadler:
SIGPLAN chair's report. ACM SIGPLAN Notices 47(4a): 1-2 (2012) - [c70]Philip Wadler:
Propositions as sessions. ICFP 2012: 273-286 - 2011
- [c69]Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler:
Blame for all. POPL 2011: 201-214 - 2010
- [j29]Sam Lindley, Philip Wadler, Jeremy Yallop:
The arrow calculus. J. Funct. Program. 20(1): 51-69 (2010) - [c68]Sam Lindley, Philip Wadler:
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP 2010: 1 - [c67]Jeremy G. Siek, Philip Wadler:
Threesomes, with and without blame. POPL 2010: 365-376
2000 – 2009
- 2009
- [j28]Tom Schrijvers, Peter J. Stuckey, Philip Wadler:
Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009) - [c66]Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler:
Blame for all. STOP@ECOOP 2009: 1-13 - [c65]Jeremy G. Siek, Philip Wadler:
Threesomes, with and without blame. STOP@ECOOP 2009: 34-46 - [c64]Philip Wadler, Robert Bruce Findler:
Well-Typed Programs Can't Be Blamed. ESOP 2009: 1-16 - [c63]Ezra Cooper, Philip Wadler:
The RPC calculus. PPDP 2009: 231-242 - 2008
- [c62]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
The Essence of Form Abstraction. APLAS 2008: 205-220 - [c61]Sam Lindley, Philip Wadler, Jeremy Yallop:
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. MSFP@ICALP 2008: 97-117 - [e7]George C. Necula, Philip Wadler:
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM 2008, ISBN 978-1-59593-689-9 [contents] - 2007
- [j27]Olivier Danvy, Peter W. O'Hearn, Philip Wadler:
Preface. Theor. Comput. Sci. 375(1-3): 1-2 (2007) - [j26]Philip Wadler:
The Girard-Reynolds isomorphism (second edition). Theor. Comput. Sci. 375(1-3): 201-226 (2007) - [c60]Simon L. Peyton Jones, Philip Wadler:
Comprehensive comprehensions. Haskell 2007: 61-72 - [c59]Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler:
A history of Haskell: being lazy with class. HOPL 2007: 1-55 - [e6]Richard Hull, Peter Thiemann, Philip Wadler:
Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. Dagstuhl Seminar Proceedings 07051, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i4]Richard Hull, Peter Thiemann, Philip Wadler:
07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007 - [i3]Richard Hull, Peter Thiemann, Philip Wadler:
07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007 - [i2]Richard Hull, Peter Thiemann, Philip Wadler:
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007 - 2006
- [b3]Maurice Naftalin, Philip Wadler:
Java generics and collections. O'Reilly 2006, ISBN 978-0-596-52775-4, pp. I-XVII, 1-273 - [c58]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
Links: Web Programming Without Tiers. FMCO 2006: 266-296 - [c57]Philip Wadler:
Faith, evolution, and programming languages: from Haskell to Java to links. OOPSLA Companion 2006: 508 - [e5]Masami Hagiya, Philip Wadler:
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings. Lecture Notes in Computer Science 3945, Springer 2006, ISBN 3-540-33438-6 [contents] - 2005
- [c56]Philip Wadler:
Call-by-Value Is Dual to Call-by-Name - Reloaded. RTA 2005: 185-203 - 2004
- [e4]Francesco Cesarini, Philip Wadler:
Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004. ACM 2004, ISBN 1-58113-918-7 [contents] - 2003
- [j25]Philip Wadler:
The Girard-Reynolds isomorphism. Inf. Comput. 186(2): 260-284 (2003) - [j24]Simon L. Peyton Jones, Philip Wadler:
The Educational Pearls column. J. Funct. Program. 13(5): 833-834 (2003) - [j23]Philip Wadler, Peter Thiemann:
The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003) - [c55]Philip Wadler:
Call-by-value is dual to call-by-name. ICFP 2003: 189-201 - [c54]Jérôme Siméon, Philip Wadler:
The essence of XML. POPL 2003: 1-13 - [e3]Verónica Dahl, Philip Wadler:
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Lecture Notes in Computer Science 2562, Springer 2003, ISBN 3-540-00389-4 [contents] - 2002
- [j22]Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler:
MSL: a model for W3C XML Schema. Comput. Networks 39(5): 507-521 (2002) - [c53]Philip Wadler:
XQuery: A Typed Functional Language for Querying XML. Advanced Functional Programming 2002: 188-212 - [c52]Jérôme Siméon, Philip Wadler:
The Essence of XML (Preliminary Version). FLOPS 2002: 21-46 - 2001
- [j21]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001) - [c51]Mary F. Fernández, Jérôme Siméon, Philip Wadler:
A Semi-monad for Semi-structured Data. ICDT 2001: 263-300 - [c50]Philip Wadler:
The Girard-Reynolds Isomorphism. TACS 2001: 468-491 - [c49]Philip Wadler:
Et tu, XML? The downfall of the relational empire (abstract). VLDB 2001: 15 - [c48]Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler:
MSL - a model for W3C XML schema. WWW 2001: 191-200 - [i1]Peter Fankhauser, Mary F. Fernández, Ashok Malhotra, Michael Rys, Jérôme Siméon, Philip Wadler:
The XML Query Algebra. 2001 - 2000
- [j20]Philip Wadler:
A Formal Semantics of Patterns in XSLT and XPath. Markup Lang. 2(2): 183-202 (2000) - [c47]Mary F. Fernández, Jérôme Siméon, Philip Wadler:
An Algebra for XML Query. FSTTCS 2000: 11-45 - [e2]Martin Odersky, Philip Wadler:
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ACM 2000, ISBN 1-58113-202-6 [contents]
1990 – 1999
- 1999
- [j19]David N. Turner, Philip Wadler:
Operational Interpretations of Linear Logic. Theor. Comput. Sci. 227(1-2): 231-248 (1999) - [j18]John Maraist, Martin Odersky, David N. Turner, Philip Wadler:
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. 228(1-2): 175-210 (1999) - [c46]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146 - [p1]Philip Wadler:
How Enterprises Use Functional Languages, and Why They Don't. The Logic Programming Paradigm 1999: 209-227 - 1998
- [j17]John Maraist, Martin Odersky, Philip Wadler:
The Call-by-Need Lambda Calculus. J. Funct. Program. 8(3): 275-317 (1998) - [j16]Philip Wadler:
An Angry Half-Dozen. ACM SIGPLAN Notices 33(2): 25-30 (1998) - [j15]Philip Wadler:
Why No One Uses Functional Languages. ACM SIGPLAN Notices 33(8): 23-27 (1998) - [c45]Martin Odersky, Enno Runne, Philip Wadler:
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming 1998: 114-132 - [c44]Kim B. Bruce, Martin Odersky, Philip Wadler:
A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549 - [c43]Philip Wadler:
The Marriage of Effects and Monads. ICFP 1998: 63-74 - [c42]Martin Odersky, Philip Wadler:
Leftover curry and reheated Pizza: how functional programming nourishes software reuse. ICSR 1998: 2-11 - [c41]Philip Wadler:
How to solve the reuse problem? Functional programming. ICSR 1998: 371-372 - [c40]Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler:
Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA 1998: 183-200 - 1997
- [j14]Philip Wadler:
How to Declare an Imperative. ACM Comput. Surv. 29(3): 240-263 (1997) - [j13]Amr Sabry, Philip Wadler:
A Reflection on Call-by-Value. ACM Trans. Program. Lang. Syst. 19(6): 916-941 (1997) - [c39]Philip Wadler:
Functional Programming: An Angry Half-Dozen. DBPL 1997: 25-34 - [c38]Simon Marlow, Philip Wadler:
A Practical Subtyping System For Erlang. ICFP 1997: 136-149 - [c37]Martin Odersky, Philip Wadler:
Pizza into Java: Translating Theory into Practice. POPL 1997: 146-159 - 1996
- [j12]Philip Wadler:
Lazy Versus Strict. ACM Comput. Surv. 28(2): 318-320 (1996) - [j11]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler:
Type Classes in Haskell. ACM Trans. Program. Lang. Syst. 18(2): 109-138 (1996) - [c36]Amr Sabry, Philip Wadler:
A Reflection on Call-by-Value. ICFP 1996: 13-24 - [c35]P. N. Benton, Philip Wadler:
Linear Logic, Monads and the Lambda Calculus. LICS 1996: 420-431 - 1995
- [c34]Philip Wadler:
Monads for Functional Programming. Advanced Functional Programming 1995: 24-52 - [c33]David N. Turner, Philip Wadler, Christian Mossin:
Once Upon a Type. FPCA 1995: 1-11 - [c32]Martin Odersky, Philip Wadler, Martin Wehr:
A Second Look at Overloading. FPCA 1995: 135-146 - [c31]Philip Wadler:
Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). IWMM 1995: 117 - [c30]