default search action

combined dblp search
author search
venue search
publication search

ask others

TLDI 2009: Savannah, GA, USA

> Home > Conferences and Workshops > TLDI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/tldi/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/2009
Andrew Kennedy, Amal Ahmed:
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. ACM 2009, ISBN 978-1-60558-420-1
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/Norell09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/Norell09
Ulf Norell:
Dependently typed programming in Agda. 1-2

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/BentonT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/BentonT09
Nick Benton, Nicolas Tabareau:
Compiling functional types to relational specifications for low level imperative code. 3-14
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/BaarsSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/BaarsSV09
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera:
Typed transformations of typed abstract syntax. 15-26
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/BaltopoulosG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/BaltopoulosG09
Ioannis G. Baltopoulos, Andrew D. Gordon:
Secure compilation of a multi-tier web language. 27-38

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/MarinoM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/MarinoM09
Daniel Marino, Todd D. Millstein:
A generic type-and-effect system. 39-50
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/Abi-AntounA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/Abi-AntounA09
Marwan Abi-Antoun, Jonathan Aldrich:
Static extraction of sound hierarchical runtime object graphs. 51-64
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/DagandKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/DagandKK09
Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak:
Opis: reliable distributed systems in OCaml. 65-78

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/NanevskiGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/NanevskiGM09
Aleksandar Nanevski, Paul Govereau, Greg Morrisett:
Towards type-theoretic semantics for transactional concurrency. 79-90
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/BirkedalST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/BirkedalST09
Lars Birkedal, Kristian Støvring, Jacob Thamsborg:
Relational parametricity for references and recursive types. 91-104
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/KrishnaswamiABSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/KrishnaswamiABSB09
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse:
Design patterns in separation logic. 105-116

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.