Philip Wadler
From MaRDI portal
Person:879365
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A syntax for linear logic Lecture Notes in Computer Science | 2023-04-28 | Paper |
| Unifying graded and parameterised monads | 2022-01-06 | Paper |
| Blame and coercion: Together again for the first time Journal of Functional Programming | 2021-12-27 | Paper |
| Introduction to computation. Haskell, logic and automata Undergraduate Topics in Computer Science | 2021-07-23 | Paper |
| Towards races in linear logic | 2020-12-18 | Paper |
| Leibniz equality is isomorphic to Martin-Löf identity, parametrically Journal of Functional Programming | 2020-09-09 | Paper |
| Unraveling recursion: compiling an IR with recursion to System F | 2020-05-05 | Paper |
| System F in Agda, for fun and profit | 2020-05-05 | Paper |
| Unifying graded and parameterised monads | 2020-01-28 | Paper |
| COCHIS: stable and coherent implicits Journal of Functional Programming | 2019-11-22 | Paper |
| The marriage of effects and monads Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| scientific article; zbMATH DE number 6851955 (Why is no real title available?) | 2018-03-21 | Paper |
| The marriage of effects and monads Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| A practical subtyping system for Erlang Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| The marriage of effects and monads ACM Transactions on Computational Logic | 2017-06-13 | Paper |
| A reflection on call-by-value Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
| Call-by-value is dual to call-by-name Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Threesomes, with and without blame Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| A practical theory of language-integrated query Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Propositions as sessions Journal of Functional Programming | 2014-08-14 | Paper |
| Propositions as sessions Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Idioms are oblivious, arrows are meticulous, monads are promiscuous Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
| Blame for all Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| The arrow calculus Journal of Functional Programming | 2010-03-17 | Paper |
| Monadic constraint programming Journal of Functional Programming | 2009-11-25 | Paper |
| Well-Typed Programs Can’t Be Blamed Programming Languages and Systems | 2009-03-31 | Paper |
| The Girard-Reynolds isomorphism (second edition) Theoretical Computer Science | 2007-05-11 | Paper |
| scientific article; zbMATH DE number 2242602 (Why is no real title available?) | 2006-01-02 | Paper |
| Term Rewriting and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| The Girard-Reynolds isomorphism Information and Computation | 2004-11-23 | Paper |
| scientific article; zbMATH DE number 2080478 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080189 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1942450 (Why is no real title available?) | 2003-06-30 | Paper |
| Call-by-name, call-by-value, call-by-need and the linear lambda calculus Theoretical Computer Science | 2000-08-23 | Paper |
| Operational interpretations of linear logic Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1333593 (Why is no real title available?) | 1999-09-19 | Paper |
| The call-by-need lambda calculus Journal of Functional Programming | 1999-03-28 | Paper |
| scientific article; zbMATH DE number 1231468 (Why is no real title available?) | 1998-12-10 | Paper |
| Comprehending monads Mathematical Structures in Computer Science | 1994-10-31 | Paper |
| Deforestation: Transforming programs to eliminate trees Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4016173 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3960968 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3907744 (Why is no real title available?) | 1985-01-01 | Paper |
| Analysis of an algorithm for real time garbage collection Communications of the ACM | 1976-01-01 | Paper |
| On Pairs of Nonintersecting Faces of Cell Complexes | 1975-01-01 | Paper |
Research outcomes over time
This page was built for person: Philip Wadler
