TLDI 2012: Philadelphia, PA, USA

Benjamin C. Pierce (Ed.): Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012, ISBN 978-1-4503-1120-5

Session 1

Luís Caires, Frank Pfenning, Bernardo Toninho:
Towards concurrent type theory. 1-12

Session 2

Hyunik Na, Sukyoung Ryu, Kwangmoo Choe:
Exact type parameterization and ThisType support. 13-24
Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely:
Types for relaxed memory models. 25-38
John Capper, Henrik Nilsson:
Towards a formal semantics for a structurally dynamic noncausal modelling language. 39-50

Session 3

Neelakantan R. Krishnaswami:
Semantics for graphical user interfaces. 51-52
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães:
Giving Haskell a promotion. 53-66
Colin S. Gordon, Michael D. Ernst, Dan Grossman:
Static lock capabilities for deadlock freedom. 67-78
Andrea Asperti, Ferruccio Guidi:
Type systems for dummies. 79-90
Sam Lindley, James Cheney:
Row-based effect types for database integration. 91-102

Last update Sat May 25 19:10:29 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page