A List of Successes That Can Change the World

Keyphrases

Publications

2016

Jennifer Paykin, Steve Zdancewic
Linear λμ is CP (more or less). A List of Successes That Can Change the World (2016)
John Hughes
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. A List of Successes That Can Change the World (2016)
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Proof-Relevant Parametricity. A List of Successes That Can Change the World (2016)
Ralf Hinze, Dan Marsden
Dragging Proofs Out of Pictures. A List of Successes That Can Change the World (2016)
Andreas Rossberg
1ML with Special Effects - F-ing Generativity Polymorphism. A List of Successes That Can Change the World (2016)
Avraham Shinnar, Jérôme Siméon
A Branding Strategy for Business Types. A List of Successes That Can Change the World (2016)
Jeremy G. Siek, Sam Tobin-Hochstadt
The Recursive Union of Some Gradual Types. A List of Successes That Can Change the World (2016)
Bernardo Toninho, Nobuko Yoshida
Certifying Data in Multiparty Session Types. A List of Successes That Can Change the World (2016)
John T. O'Donnell, Cordelia V. Hall
Pointlessness is Better than Listlessness. A List of Successes That Can Change the World (2016)
Andrew P. Black, Kim B. Bruce, James Noble
The Essence of Inheritance. A List of Successes That Can Change the World (2016)
Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World (2016)
Simon J. Gay
Subtyping Supports Safe Session Substitution. A List of Successes That Can Change the World (2016)
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
The Essence of Dependent Object Types. A List of Successes That Can Change the World (2016)
Jeremy Gibbons
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. A List of Successes That Can Change the World (2016)
Manuel Serrano
The Computer Scientist Nightmare - My Favorite Bug. A List of Successes That Can Change the World (2016)
D. A. Turner
Recursion Equations as a Programming Language. A List of Successes That Can Change the World (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. A List of Successes That Can Change the World (2016)
Graham Hutton, Patrick Bahr
Cutting Out Continuations. A List of Successes That Can Change the World (2016)
Peter Thiemann
A Delta for Hybrid Type Checking. A List of Successes That Can Change the World (2016)
Hugh Leather, Janne Irgens
The Lambda Calculus: Practice and Principle. A List of Successes That Can Change the World (2016)
Tiark Rompf
The Essence of Multi-stage Evaluation in LMS. A List of Successes That Can Change the World (2016)
Robert Atkey, Sam Lindley, J. Garrett Morris
Conflation Confers Concurrency. A List of Successes That Can Change the World (2016)
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
A Reflection on Types. A List of Successes That Can Change the World (2016)
Conor McBride
I Got Plenty o' Nuttin'. A List of Successes That Can Change the World (2016)

volume 9600, 2016

A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday A List of Successes That Can Change the World 9600 (2016)