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]Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler:
The Call-by-Need Lambda Calculus. POPL 1995: 233-246 - [c29]Philip Wadler:
How to Declare an Imperative. ILPS 1995: 18-32 - [c28]John Maraist, Martin Odersky, David N. Turner, Philip Wadler:
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. MFPS 1995: 370-392 - 1994
- [j10]Philip Wadler:
Monads and Composable Continuations. LISP Symb. Comput. 7(1): 39-56 (1994) - [c27]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler:
Type Classes in Haskell. ESOP 1994: 241-256 - 1993
- [j9]Simon J. Thompson, Philip Wadler:
Functional Programming in Education - Introduction. J. Funct. Program. 3(1): 3-4 (1993) - [c26]Philip Wadler:
A Taste of Linear Logic. MFCS 1993: 185-210 - [c25]Philip Wadler:
A Syntax for Linear Logic. MFPS 1993: 513-529 - [c24]Simon L. Peyton Jones, Philip Wadler:
Imperative Functional Programming. POPL 1993: 71-84 - 1992
- [b2]Richard S. Bird, Philip Wadler:
Einführung in die funktionale Programmierung. Hanser Studienbücher der Informatik, Hanser 1992, ISBN 978-3-446-17001-8, pp. I-XIII, 1-284 - [j8]Philip Wadler:
Comprehending Monads. Math. Struct. Comput. Sci. 2(4): 461-493 (1992) - [j7]Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler:
SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. ACM SIGPLAN Notices 27(5): 1 (1992) - [j6]Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson:
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 27(5): 1- (1992) - [c23]Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler:
The Glasgow Haskell Compiler: A Retrospective. Functional Programming 1992: 62-71 - [c22]David J. King, Philip Wadler:
Combining Monads. Functional Programming 1992: 134-143 - [c21]John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler:
Avoiding Unnecessary Updates. Functional Programming 1992: 144-153 - [c20]Simon Marlow, Philip Wadler:
Deforestation for Higher-Order Functions. Functional Programming 1992: 154-165 - [c19]Philip Wadler:
Monads for functional programming. NATO ASI PDC 1992: 233-264 - [c18]Philip Wadler:
The Essence of Functional Programming. POPL 1992: 1-14 - [e1]Rogardt Heldal, Carsten Kehler Holst, Philip Wadler:
Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19760-5 [contents] - 1991
- [c17]Philip Wadler:
Is There a Use for Linear Logic? PEPM 1991: 255-273 - 1990
- [j5]Philip Wadler:
Deforestation: Transforming Programs to Eliminate Trees. Theor. Comput. Sci. 73(2): 231-248 (1990) - [c16]Kei Davis, Philip Wadler:
Strictness Analysis in 4D. Functional Programming 1990: 23-43 - [c15]Philip Wadler:
Linear Types can Change the World! Programming Concepts and Methods 1990: 561- - [c14]Philip Wadler:
Comprehending Monads. LISP and Functional Programming 1990: 61-78
1980 – 1989
- 1989
- [c13]Kei Davis, Philip Wadler:
Backwards Strictness Analysis: Proved and Improved. Functional Programming 1989: 12-30 - [c12]Philip Wadler:
Theorems for Free! FPCA 1989: 347-359 - [c11]Philip Wadler, Stephen Blott:
How to Make ad-hoc Polymorphism Less ad-hoc. POPL 1989: 60-76 - 1988
- [b1]Richard S. Bird, Philip Wadler:
Introduction to functional programming. Prentice Hall International series in computer science, Prentice Hall 1988, ISBN 978-0-13-484197-7, pp. I-XV, 1-293 - [c10]Philip Wadler:
Deforestation: Transforming Programs to Eliminate Trees. ESOP 1988: 344-358 - [c9]Philip Wadler:
Strictness Analysis Aids Time Analysis. POPL 1988: 119-132 - 1987
- [j4]Philip Wadler:
A critique of Abelson and Sussman or why calculating is better than scheming. ACM SIGPLAN Notices 22(3): 83-94 (1987) - [j3]Philip Wadler:
Fixing some Space Leaks with a Garbage Collector. Softw. Pract. Exp. 17(9): 595-608 (1987) - [c8]Philip Wadler, R. J. M. Hughes:
Projections for strictness analysis. FPCA 1987: 385-407 - [c7]Philip Wadler:
Views: A Way for Pattern Matching to Cohabit with Data Abstraction. POPL 1987: 307-313 - 1986
- [c6]Philip Wadler:
A new array operation. Graph Reduction 1986: 328-335 - 1985
- [j2]Philip Wadler:
A Simple Language is also a Functional Language. Softw. Pract. Exp. 15(2): 219 (1985) - [c5]Philip Wadler:
How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. FPCA 1985: 113-128 - [c4]Philip Wadler:
Listlessness is better than laziness II: composing listless functions. Programs as Data Objects 1985: 282-305 - 1984
- [c3]Philip Wadler:
Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. LISP and Functional Programming 1984: 45-52 - 1981
- [c2]Philip Wadler:
Applicative style programming, program transformation, and list operators. FPCA 1981: 25-32 - 1980
- [c1]James H. Morris Jr., Eric Schmidt, Philip Wadler:
Experience with an Applicative String Processing Language. POPL 1980: 32-46
1970 – 1979
- 1976
- [j1]Philip Wadler:
Analysis of an Algorithm for Real Time Garbage Collection. Commun. ACM 19(9): 491-500 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
