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