TLDI

Keyphrases

Publications

2012

Andrea Asperti, Ferruccio Guidi
Type systems for dummies. TLDI (2012)
John Capper, Henrik Nilsson
Towards a formal semantics for a structurally dynamic noncausal modelling language. TLDI (2012)
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Giving Haskell a promotion. TLDI (2012)
Sam Lindley, James Cheney
Row-based effect types for database integration. TLDI (2012)
Neelakantan R. Krishnaswami
Semantics for graphical user interfaces. TLDI (2012)
Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012 TLDI (2012)
Luís Caires, Frank Pfenning, Bernardo Toninho
Towards concurrent type theory. TLDI (2012)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Static lock capabilities for deadlock freedom. TLDI (2012)
Hyunik Na, Sukyoung Ryu, Kwangmoo Choe
Exact type parameterization and ThisType support. TLDI (2012)
Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely
Types for relaxed memory models. TLDI (2012)

2011

2010