Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Benjamin C. Pierce, editor, 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. [doi]

Conference: tldi2012

Abstract is missing.

Towards concurrent type theoryLuís Caires, Frank Pfenning, Bernardo Toninho. 1-12 [doi]

Exact type parameterization and ThisType supportHyunik Na, Sukyoung Ryu, Kwangmoo Choe. 13-24 [doi]

Types for relaxed memory modelsMatthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely. 25-38 [doi]

Towards a formal semantics for a structurally dynamic noncausal modelling languageJohn Capper, Henrik Nilsson. 39-50 [doi]

Semantics for graphical user interfacesNeelakantan R. Krishnaswami. 51-52 [doi]

Giving Haskell a promotionBrent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães. 53-66 [doi]

Static lock capabilities for deadlock freedomColin S. Gordon, Michael D. Ernst, Dan Grossman. 67-78 [doi]

Type systems for dummiesAndrea Asperti, Ferruccio Guidi. 79-90 [doi]

Row-based effect types for database integrationSam Lindley, James Cheney. 91-102 [doi]

runs on WebDSL