Philip Wadler

Available identifiers

zbMath Open wadler.philip-lWikidataQ3379094 ScholiaQ3379094MaRDI QIDQ879365

List of research outcomes

Publication	Date of Publication	Type
A syntax for linear logic	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5020617	2022-01-06	Paper
Blame and coercion: Together again for the first time	2021-12-27	Paper
Introduction to Computation	2021-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q5141618	2020-12-18	Paper
Leibniz equality is isomorphic to Martin-Löf identity, parametrically	2020-09-09	Paper
System F in Agda, for fun and profit	2020-05-05	Paper
Unraveling recursion: compiling an IR with recursion to System F	2020-05-05	Paper
Unifying graded and parameterised monads	2020-01-28	Paper
COCHIS: Stable and coherent implicits	2019-11-22	Paper
The marriage of effects and monads	2019-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4608685	2018-03-21	Paper
A practical subtyping system for Erlang	2017-08-21	Paper
The marriage of effects and monads	2017-08-21	Paper
The marriage of effects and monads	2017-06-13	Paper
A reflection on call-by-value	2016-09-01	Paper
Call-by-value is dual to call-by-name	2015-07-02	Paper
Threesomes, with and without blame	2015-06-11	Paper
A practical theory of language-integrated query	2015-03-30	Paper
Propositions as sessions	2014-08-14	Paper
Propositions as sessions	2014-07-21	Paper
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous	2014-06-27	Paper
Blame for all	2014-04-10	Paper
The arrow calculus	2010-03-17	Paper
Monadic constraint programming	2009-11-25	Paper
Well-Typed Programs Can’t Be Blamed	2009-03-31	Paper
The Girard-Reynolds isomorphism (second edition)	2007-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5714455	2006-01-02	Paper
Term Rewriting and Applications	2005-11-11	Paper
The Girard-Reynolds isomorphism	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4472431	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473276	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4409150	2003-06-30	Paper
Operational interpretations of linear logic	2000-08-23	Paper
Call-by-name, call-by-value, call-by-need and the linear lambda calculus	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4260366	1999-09-19	Paper
The call-by-need lambda calculus	1999-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4222771	1998-12-10	Paper
Comprehending monads	1994-10-31	Paper
Deforestation: Transforming programs to eliminate trees	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028326	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3729997	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3685162	1985-01-01	Paper
Analysis of an algorithm for real time garbage collection	1976-01-01	Paper
On Pairs of Nonintersecting Faces of Cell Complexes	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philip Wadler