Sign in
TLDI
2003
2006
2009
2012
2003
2012
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
Jeffrey A. Vaughan
AuraConf: a unified approach to authorization and confidentiality.
TLDI
(2011)
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011
TLDI
(2011)
Toshiyuki Maeda
,
Haruki Sato
,
Akinori Yonezawa
Extended alias type system using separating implication.
TLDI
(2011)
Chris Hawblitzel
Type safety from the ground up.
TLDI
(2011)
Simon Winwood
,
Manuel M. T. Chakravarty
Singleton: a general-purpose dependently-typed assembly language.
TLDI
(2011)
Dominique Devriese
,
Frank Piessens
Information flow enforcement in monadic libraries.
TLDI
(2011)
Alexandre Pilkiewicz
,
François Pottier
The essence of monotonic state.
TLDI
(2011)
Prodromos Gerakios
,
Nikolaos Papaspyrou
,
Konstantinos Sagonas
A type and effect system for deadlock avoidance in low-level languages.
TLDI
(2011)
Georges Gonthier
Type design patterns for computer mathematics.
TLDI
(2011)
2010
Prodromos Gerakios
,
Nikolaos Papaspyrou
,
Konstantinos Sagonas
Race-free and memory-safe multithreading: design and implementation in cyclone.
TLDI
(2010)
Neel Krishnaswami
,
Lars Birkedal
,
Jonathan Aldrich
Verifying event-driven programs using ramified frame properties.
TLDI
(2010)
Chuan-Kai Lin
,
Tim Sheard
Pointwise generalized algebraic data types.
TLDI
(2010)
Andreas Rossberg
,
Claudio V. Russo
,
Derek Dreyer
F-ing modules.
TLDI
(2010)
Matthias Felleisen
Adding types to untyped languages.
TLDI
(2010)
Karl Mazurak
,
Jianzhou Zhao
,
Steve Zdancewic
Lightweight linear types in system fdegree.
TLDI
(2010)
Dimitrios Vytiniotis
,
Simon L. Peyton Jones
,
Tom Schrijvers
Let should not be generalized.
TLDI
(2010)
Jaeheon Yi
,
Cormac Flanagan
Effects for cooperable and serializable threads.
TLDI
(2010)
Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010
TLDI
(2010)
Kumar Avijit
,
Anupam Datta
,
Robert Harper
Distributed programming with distributed authorization.
TLDI
(2010)
2009
Marwan Abi-Antoun
,
Jonathan Aldrich
Static extraction of sound hierarchical runtime object graphs.
TLDI
(2009)
Neelakantan R. Krishnaswami
,
Jonathan Aldrich
,
Lars Birkedal
,
Kasper Svendsen
,
Alexandre Buisse
Design patterns in separation logic.
TLDI
(2009)
Lars Birkedal
,
Kristian Støvring
,
Jacob Thamsborg
Relational parametricity for references and recursive types.
TLDI
(2009)
Aleksandar Nanevski
,
Paul Govereau
,
Greg Morrisett
Towards type-theoretic semantics for transactional concurrency.
TLDI
(2009)
Arthur I. Baars
,
S. Doaitse Swierstra
,
Marcos Viera
Typed transformations of typed abstract syntax.
TLDI
(2009)
Pierre-Évariste Dagand
,
Dejan Kostic
,
Viktor Kuncak
Opis: reliable distributed systems in OCaml.
TLDI
(2009)
Ulf Norell
Dependently typed programming in Agda.
TLDI
(2009)
Nick Benton
,
Nicolas Tabareau
Compiling functional types to relational specifications for low level imperative code.
TLDI
(2009)
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009
TLDI
(2009)
Daniel Marino
,
Todd D. Millstein
A generic type-and-effect system.
TLDI
(2009)
Ioannis G. Baltopoulos
,
Andrew D. Gordon
Secure compilation of a multi-tier web language.
TLDI
(2009)
2007
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007
TLDI
(2007)
Saurabh Srivastava
,
Michael Hicks
,
Jeffrey S. Foster
Modular information hiding and type-safe linking for C.
TLDI
(2007)
Xinyu Feng
,
Zhaozhong Ni
,
Zhong Shao
,
Yu Guo
An open framework for foundational proof-carrying code.
TLDI
(2007)
Nick Benton
,
Peter Buchlovsky
Semantics of an effect analysis for exceptions.
TLDI
(2007)
Kathleen Fisher
Typing ad hoc data.
TLDI
(2007)
Didier Rémy
,
Boris Yakobowski
types with a linear-time unification algorithm.
TLDI
(2007)
Conor McBride
What's the deal with dependent types?
TLDI
(2007)
Chris Hawblitzel
,
Heng Huang
,
Lea Wittie
,
Juan Chen
A garbage-collecting typed assembly language.
TLDI
(2007)
Martin Sulzmann
,
Manuel M. T. Chakravarty
,
Simon L. Peyton Jones
,
Kevin Donnelly
System F with type equality coercions.
TLDI
(2007)
2005
Bor-Yuh Evan Chang
,
Adam Chlipala
,
George C. Necula
,
Robert R. Schneck
The open verifier framework for foundational verifiers.
TLDI
(2005)