[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Our colleague, friend, tormentor and educator, Professor Philip Wadler
will turn sixty at the beginning of April, 2016. Phil will be
presented with a festschrift entitled "A list of successes that can
change the world" at a special event, WadlerFest, on Monday
11th–Tuesday 12th April 2016 in Edinburgh.
http://events.inf.ed.ac.uk/wf2016/
Accepted papers:
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna and
Perdita Stevens
Reflections on monadic lenses
Robert Atkey, Sam Lindley and J. Garrett Morris
Conflation confers concurrency
Nick Benton, Andrew Kennedy, Martin Hofmann and Vivek Nigam
Counting successes: effects and transformations for
non-deterministic programs
Andrew Black, Kim Bruce and James Noble
The essence of inheritance
John T. O'Donnell and Cordelia Hall
Pointlessness is better than listlessness
Hugh Leather and Janne Irgens
The lambda calculus: practice and principle
Simon Gay
Subtyping supports safe session substitution
Neil Ghani, Fredrik Nordvall Forsberg and Federico Orsanigo
Proof relevant parametricity
Jeremy Gibbons
Comprehending ringads
Ralf Hinze and Dan Marsden
Dragging proofs out of pictures
John Hughes
Experiences with QuickCheck: testing the hard stuff and staying sane
Graham Hutton and Patrick Bahr
Cutting out continuations
Conor McBride
I got plenty o’ nuttin’
Martin Odersky, Nada Amin, Tiark Rompf, Sandro Stucki and Samuel Gruetter
The essence of dependent object types
Jennifer Paykin and Steve Zdancewic
Linear lambda-mu is CP (more or less)
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg and
Dimitrios Vytiniotis
A reflection on types
Tiark Rompf
The essence of multi-stage evaluation in LMS
Andreas Rossberg
1ML with special effects
Manuel Serrano
The computer scientist nightmare
Avraham Shinnar and Jerome Simeon
A branding strategy for business types
Jeremy Siek and Sam Tobin-Hochstadt
The recursive union of some gradual types
Bernardo Toninho and Nobuko Yoshida
Certifying data in multiparty session types
Peter Thiemann
A delta for hybrid type checking
David Turner
Recursion equations as a programming language
Jeremy Yallop and Hai Liu
Causal commutative arrows revisited
Phil holds the chair in theoretical computer science (Robin Milner's
old chair) at the Laboratory for Foundations of Computer Science
(LFCS). A separate event, LFCS30, to celebrate the 30th anniversary of
the founding of the LFCS will take place on Wednesday 13th April in
Edinburgh.
http://events.inf.ed.ac.uk/lfcs30/
Registration costs £25 and includes both events as well as coffee,
lunch, and a banquet on Tuesday evening.
http://www.epay.ed.ac.uk/browse/product.asp?compid=1&modid=2&catid=42
Stephen Gilmore
Sam Lindley
Conor McBride
Don Sannella
Phil Trinder
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
