Philip Wadler
#4,045
Most Influential Person Now
American computer scientist
Philip Wadler's AcademicInfluence.com Rankings
Philip Wadlercomputer-science Degrees
Computer Science
#200
World Rank
#207
Historical Rank
Programming
#13
World Rank
#13
Historical Rank
Database
#672
World Rank
#704
Historical Rank
Download Badge
Computer Science
Philip Wadler's Degrees
- PhD Computer Science Carnegie Mellon University
Similar Degrees You Can Earn
Why Is Philip Wadler Influential?
(Suggest an Edit or Addition)According to Wikipedia, Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization .
Philip Wadler's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Report on the programming language Haskell: a non-strict, purely functional language version 1.2 (1992) (1317)
- Featherweight Java: a minimal core calculus for Java and GJ (2001) (1105)
- Imperative functional programming (1993) (1027)
- Comprehending monads (1990) (1013)
- Introduction to functional programming (1988) (1003)
- How to make ad-hoc polymorphism less ad hoc (1989) (920)
- Deforestation: Transforming Programs to Eliminate Trees (1988) (886)
- The essence of functional programming (1992) (865)
- Theorems for free! (1989) (768)
- Monads for functional programming (1995) (650)
- Linear Types can Change the World! (1990) (629)
- Making the future safe for the past: adding genericity to the Java programming language (1998) (597)
- Pizza into Java: translating theory into practice (1997) (493)
- Call-by-value is dual to call-by-name (2003) (439)
- A call-by-need lambda calculus (1995) (393)
- Links: Web Programming Without Tiers (2006) (363)
- Type classes in Haskell (1994) (345)
- Views: a way for pattern matching to cohabit with data abstraction (1987) (338)
- A history of Haskell: being lazy with class (2007) (328)
- Featherweight Java: a minimal core calculus for Java and GJ (1999) (308)
- How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (1985) (291)
- Propositions as sessions (2012) (287)
- The Glasgow Haskell Compiler: a technical overview (1993) (275)
- A Statically Safe Alternative to Virtual Types (1998) (275)
- Well-Typed Programs Can't Be Blamed (2009) (262)
- Projections for strictness analysis (1987) (212)
- The marriage of effects and monads (1998) (200)
- How to declare an imperative (1997) (187)
- Propositions as types (2015) (179)
- XQuery: A Typed Functional Language for Querying XML (2002) (173)
- Once upon a type (1995) (161)
- A Syntax for Linear Logic (1993) (156)
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus (1999) (148)
- A practical subtyping system for Erlang (1997) (141)
- Blame for all (2011) (140)
- Is there a use for linear logic? (1991) (122)
- Linear logic, monads and the lambda calculus (1996) (122)
- Two semantics for XPath (2000) (108)
- A Taste of Linear Logic (1993) (108)
- The essence of XML (2003) (107)
- Combining Monads (1992) (105)
- XQuery from the Experts: A Guide to the W3C XML Query Language (2003) (103)
- Why no one uses functional languages (1998) (100)
- Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time (1984) (97)
- A practical theory of language-integrated query (2013) (96)
- A prettier printer (2002) (94)
- An Algebra for XML Query (2000) (94)
- A reflection on call-by-value (1996) (91)
- Monads and composable continuations (1994) (90)
- Threesomes, with and without blame (2010) (87)
- Strictness analysis aids time analysis (1988) (85)
- Programming Languages and Systems (2009) (80)
- A Semi-monad for Semi-structured Data (2001) (76)
- Is there a use for linear logic (1991) (72)
- Improving list comprehension database queries (1989) (67)
- Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types (2016) (64)
- Java generics and collections (2006) (63)
- Operational Interpretations of Linear Logic (1999) (59)
- The essence of functional programming (Invited talk) (1997) (59)
- A second look at overloading (1995) (58)
- A reflection on call-by-value (1997) (58)
- Theorems for free for free: parametricity, with and without types (2017) (56)
- Analysis of an algorithm for real time garbage collection (1976) (56)
- Refinement reflection: complete verification with SMT (2017) (54)
- The marriage of effects and monads (2003) (52)
- Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous (2011) (52)
- Comprehensive comprehensions (2007) (51)
- A Formal Semantics of Patterns in XSLT and XPath (2000) (51)
- Fixing some space leaks with a garbage collector (1987) (51)
- There's No Substitute for Linear Logic (1991) (49)
- Monadic constraint programming (2009) (49)
- Applicative style programming, program transformation, and list operators (1981) (46)
- MSL — a model for W3C XML schema (2001) (46)
- Deforestation for Higher-Order Functions (1992) (45)
- The Girard-Reynolds isomorphism (second edition) (2007) (43)
- Formal Methods for Components and Objects (2006) (43)
- Listlessness is better than laziness II: composing listless functions (1986) (42)
- A critique of Abelson and Sussman or why calculating is better than scheming (1987) (42)
- The Extended UTXO Model (2020) (41)
- Query shredding: efficient relational evaluation of queries over nested multisets (2014) (39)
- The Glasgow Haskell Compiler: A Retrospective (1992) (39)
- The Essence of Form Abstraction (2008) (38)
- The Concatenate Vanishes (1987) (37)
- Programming Language Foundations in Agda (2018) (36)
- A new array operation (1986) (36)
- The Girard-Reynolds isomorphism (2001) (35)
- Everything old is new again: quoted domain-specific languages (2015) (34)
- Gradual session types (2017) (34)
- The arrow calculus (2010) (34)
- Experience with an applicative string processing language (1980) (34)
- When Will Deforestation Stop (1988) (32)
- Two Ways to Bake Your Pizza - Translating Parameterised Types into Java (1998) (31)
- A formal semantics of patterns in XSLT (2000) (31)
- Blame and coercion: together again for the first time (2015) (30)
- Quantified class constraints (2017) (30)
- Glasgow Workshop on Functional Programming (1992) (28)
- Avoiding Unnecessary Updates (1992) (27)
- An angry half-dozen (1998) (27)
- Threesomes, with and without blame (2009) (26)
- Backwards Strictness Analysis: Proved and Improved (1989) (24)
- The RPC calculus (2009) (24)
- Functional Programming: An Angry Half-Dozen (1997) (24)
- MSL: a model for W3C XML Schema (2002) (23)
- A Reeection on Call-by-value (1996) (22)
- Report on the Non-Strict Functional Language (1997) (21)
- Comprehensive Comprehensions Comprehensions with 'Order by' and 'Group by' (2007) (20)
- Typecasting actors: from Akka to TAkka (2014) (20)
- SIGPLAN Notices Special Issue on the Functional Programming Language Haskell (1992) (19)
- A Complement to Blame (2015) (19)
- System F in Agda, for Fun and Profit (2019) (17)
- A Recipe for Raw Types (2001) (17)
- List Comprehensions and the Relational Calculus (1999) (17)
- An idiom's guide to formlets ? (2007) (16)
- Mixing Metaphors: Actors as Channels and Channels as Actors (2016) (15)
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (2017) (14)
- Proofs are Programs: 19th Century Logic and 21st Century Computing (2000) (13)
- Strictness Analysis in 4D (1990) (13)
- Pizza into Java : Translating theory into practiceMartin (1997) (10)
- A static semantics for Haskell (1992) (10)
- Unifying graded and parameterised monads (2020) (10)
- The Marriage of Eeects and Monads (1998) (10)
- Links : Linking Theory to Practice for the Web Case for Support (2005) (10)
- Lazy versus strict (1996) (10)
- Effective quotation: relating approaches to language-integrated query (2013) (9)
- The root cause of blame: contracts for intersection and union types (2018) (9)
- Type systems for object-oriented programming (1994) (9)
- Towards Races in Linear Logic (2019) (9)
- Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016 (2016) (9)
- Native Custom Tokens in the Extended UTXO Model (2020) (9)
- The Next 700 Markup Languages (2000) (8)
- Listlessness is better than laziness: an algorithm that transforms applicative programs to eliminate intermediate lists (1984) (8)
- Functional programming in education – Introduction (1993) (8)
- Unraveling Recursion: Compiling an IR with Recursion to System F (2019) (8)
- Cochis: Deterministic and coherent implicits (2017) (8)
- Featherweight go (2020) (8)
- The Call-by-Need Lambda Calculus ( Unabridged ) (1994) (7)
- Call-by-name is dual to call-by-value (2004) (7)
- COCHIS: Stable and coherent implicits (2019) (7)
- Blame for all (2009) (6)
- Response to HEFCE’s consultation on the assessment and funding of higher education research post-2008 (2008) (6)
- UTXOma: UTXO with Multi-Asset Support (2020) (6)
- The Arrow Calculus (Functional Pearl) (2008) (6)
- Programming language foundations in Agda (2020) (6)
- Supplement to : The key to blame : Gradual typing meets cryptography (2016) (5)
- Editorial – Lazy Functional Programming (1989) (5)
- Down with the bureaucracy of syntax ! Pattern matching for classical linear logic (2004) (5)
- How to solve the reuse problem? Functional programming (1998) (5)
- Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) (2017) (5)
- EDITORIAL: A HOT opportunity (1997) (4)
- Proceedings of the 1991 Glasgow Workshop on Functional Programming (1991) (4)
- How Enterprises Use Functional Languages, and Why They Don't (1999) (4)
- Leftover curry and reheated Pizza: how functional programming nourishes software reuse (1998) (4)
- Effective Quotation (2013) (4)
- Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000) (4)
- The Essence of XML (Preliminary Version) (2002) (4)
- Signed and sealed (2008) (3)
- The Educational Pearls column (2003) (3)
- The Audacity of Hope: Thoughts on Reclaiming the Database Dream (2010) (3)
- Functional and logic programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings (2006) (3)
- UTXOsf ma: UTXO with Multi-asset Support (2020) (3)
- Functional Programming, Glasgow 1991 (1992) (3)
- A Blame for All ( revised ) (2014) (3)
- Leibniz equality is isomorphic to Martin-Löf identity, parametrically (2020) (2)
- Faith, evolution, and programming languages: from Haskell to Java to links (2006) (2)
- A Second Look at Overloading In Proc. FPCA'95 Conf. on Functional Programming Languages and Computer Architecture (1995) (2)
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact) (2017) (2)
- Language-integrated query using comprehension syntax: state of the art, open problems, and work in progress (2014) (2)
- Once upon a Type in 7'th International Conference on Functional Programming and Computer Architecture (1995) (2)
- VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy (2001) (2)
- Shredding higher-order nested queries (2012) (1)
- Smart Contracts (2021) (1)
- Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 (2008) (1)
- λdB: Blame tracking at higher fidelity (2020) (1)
- THEORETICAL PEARLS The Arrow Calculus (2009) (1)
- Theoretical Aspects of Computer Software (1991) (1)
- Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (2003) (1)
- Technical Perspective: Why didn't I think of that? (2016) (1)
- The essence of language-integrated query (2013) (1)
- The Least Must Speak with the Greatest (2014) (1)
- Functional and Logic Programming (2006) (1)
- A Reflection on Call-by-value a Reeection on Call-by-value (1996) (1)
- Embedding by Normalisation (2016) (1)
- Et tu, XML? The downfall of the relational empire (abstract) (2001) (1)
- Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008) (1)
- A located lambda calculus (2010) (1)
- GATE: Gradual Effect Types (2021) (1)
- Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday (2017) (1)
- Function Lfp Applies a Function F to an Argument 5.6 Implementation 5.2 Finding Function K 4.4 Implementation 4.2 Generating Trees Fixed Points Catamorphisms on Rose-trees 2.1 Implementation Lattices and Cpo's Parse Trees Bottom-up Grammar Analysis | a Functional Formulation | (1994) (1)
- Simple Computations (2021) (0)
- Practices of PLDI (2014) (0)
- ICFP 2009 Announcement (2008) (0)
- Imperative Functional Programming Brief Summary (1992) (0)
- Sequent Calculus (2021) (0)
- Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (1992) (0)
- Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007 (2007) (0)
- Karnaugh Maps (2021) (0)
- Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004 (2004) (0)
- TypeScript implementation for paper (2018) (0)
- Proceedings of the 8th international conference on Functional and Logic Programming (2006) (0)
- Theory and Applications of Behavioural Types (2017) (0)
- Explorer Theorems for Free for Free (2018) (0)
- On pairs of nonintersecting faces of cell complexes (1975) (0)
- Explorer Propositions as Types (2017) (0)
- ABCD Report: 2017 (2017) (0)
- JFP volume 6 issue 6 Cover and Front matter (1996) (0)
- JFP volume 5 issue 1 Cover and Front matter (1995) (0)
- Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6) (2014) (0)
- High-Level Concurrent Languages (Dagstuhl Seminar 97041) (2021) (0)
- A Second Look at Overloading In Proc (2009) (0)
- Editorial Message (2017) (0)
- JFP volume 5 issue 3 Cover and Front matter (1995) (0)
- Checking Satisfiability (2021) (0)
- Lists and Recursion (2021) (0)
- A simple language is also a functional language (1985) (0)
- Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) (1995) (0)
- Principles of POPL (2013) (0)
- Input/Output and Monads (2021) (0)
- Towards Complete Specification and Verification with SMT (2017) (0)
- Blame, coercions, and threesomes, precisely (2014) (0)
- Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages (2003) (0)
- Explorer Quantified Class Constraints (2017) (0)
- JFP volume 4 issue 4 Cover and Front matter (1994) (0)
- In Memoriam Peter Landin (2009) (0)
- 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services (2007) (0)
- Introduction to Computation: Haskell, Logic and Automata (2021) (0)
- Efficient CNF Conversion (2021) (0)
- 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services (2007) (0)
- SIGPLAN chair's report (2012) (0)
- JFP volume 6 issue 4 Cover and Front matter (1996) (0)
- JFP volume 3 issue 3 Cover and Front matter (1993) (0)
- Logic, semantics and theory of programming - Preface (2007) (0)
- Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 (2020) (0)
- SIGPLAN Programming Languages Achievement Award Rod Burstall (2009) (0)
- 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services (2007) (0)
- Proposal for ESSLI course : Propositions as Types (2015) (0)
- Component-based Programming under Different Paradigms (Dagstuhl Seminar 99081) (2021) (0)
- Edinburgh Research Explorer Programming Language Foundations in Agda (2020) (0)
- Special issue on Semantics, Applications, and Implementation of Program Generation (2000) (0)
- JFP volume 4 issue 2 Cover and Front matter (1994) (0)
- Explorer Towards Races in Linear Logic (2019) (0)
- TypeScript: The Next Generation To boldly enforce types where no one has enforced types before (2013) (0)
- Types without the Types (2017) (0)
- You and Your Research and the Elements of Style (2014) (0)
- JFP volume 1 issue 3 Cover and Front matter (1991) (0)
- JFP volume 6 issue 5 Cover and Front matter (1996) (0)
- JFP volume 2 issue 2 Cover and Front matter (1992) (0)
- Preface (2020) (0)
- Practical Aspects of Declarative Languages (2002) (0)
This paper list is powered by the following services:
Other Resources About Philip Wadler
What Schools Are Affiliated With Philip Wadler?
Philip Wadler is affiliated with the following schools:
