default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Philip Wadler 2016
- Sam Lindley, Conor McBride
, Philip W. Trinder, Donald Sannella:
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9600, Springer 2016, ISBN 978-3-319-30935-4 - Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Reflections on Monadic Lenses. 1-31 - Robert Atkey, Sam Lindley, J. Garrett Morris:
Conflation Confers Concurrency. 32-55 - Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam:
Counting Successes: Effects and Transformations for Non-deterministic Programs. 56-72 - Andrew P. Black, Kim B. Bruce, James Noble:
The Essence of Inheritance. 73-94 - Simon J. Gay:
Subtyping Supports Safe Session Substitution. 95-108 - Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo:
Proof-Relevant Parametricity. 109-131 - Jeremy Gibbons:
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. 132-151 - Ralf Hinze, Dan Marsden:
Dragging Proofs Out of Pictures. 152-168 - John Hughes:
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. 169-186 - Graham Hutton, Patrick Bahr:
Cutting Out Continuations. 187-200 - Hugh Leather, Janne Irgens:
The Lambda Calculus: Practice and Principle. 201-206 - Conor McBride:
I Got Plenty o' Nuttin'. 207-233 - John T. O'Donnell, Cordelia V. Hall:
Pointlessness is Better than Listlessness. 234-248 - Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki:
The Essence of Dependent Object Types. 249-272 - Jennifer Paykin, Steve Zdancewic:
Linear λμ is CP (more or less). 273-291 - Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis:
A Reflection on Types. 292-317 - Tiark Rompf:
The Essence of Multi-stage Evaluation in LMS. 318-335 - Andreas Rossberg:
1ML with Special Effects - F-ing Generativity Polymorphism. 336-355 - Manuel Serrano:
The Computer Scientist Nightmare - My Favorite Bug. 356-366 - Avraham Shinnar, Jérôme Siméon:
A Branding Strategy for Business Types. 367-387 - Jeremy G. Siek, Sam Tobin-Hochstadt:
The Recursive Union of Some Gradual Types. 388-410 - Peter Thiemann:
A Delta for Hybrid Type Checking. 411-432 - Bernardo Toninho, Nobuko Yoshida:
Certifying Data in Multiparty Session Types. 433-458 - D. A. Turner:
Recursion Equations as a Programming Language. 459-478
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.
last updated on 2025-11-20 00:11 CET 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:
