TLCA 2013 Invited Speakers

Simon Peyton-Jones (Microsoft Research, UK) joint invited speaker for RTA 2013 and TLCA 2013
Type-Directed Compilation in the Wild: Haskell and Core

Hugo Herbelin (INRIA, France) invited speaker for TLCA 2013
Proving with Side Effects

Damiano Mazza (CNRS and Université Paris-Nord, France) invited speaker for TLCA 2013
Non-Linearity as the Metric Completion of Linearity

Home TLCA 2013 | Call for Papers | Accepted Papers | Invited Speakers | Organizers

Home RDP 2013 | Call for Workshops for RDP 2013 | Organizing Committee of RDP 2013

Last update 15 April 2013