default search action

combined dblp search
author search
venue search
publication search

ask others

TLDI 2003: New Orleans, Louisiana, 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
  authority control:
- export record
  dblp key:
  - conf/tldi/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/2003
Zhong Shao, Peter Lee:
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. ACM 2003, ISBN 1-58113-649-8

Types and multithreading

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/FlanaganQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/FlanaganQ03
Cormac Flanagan, Shaz Qadeer:
Types for atomicity. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/Grossman03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/Grossman03
Dan Grossman:
Type-safe multithreading in cyclone. 13-25

Types and programming

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/LammelJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/LammelJ03
Ralf Lämmel, Simon L. Peyton Jones:
Scrap your boilerplate: a practical design pattern for generic programming. 26-37
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/Park03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/Park03
Sungwoo Park:
A calculus for probabilistic languages. 38-49

Type-based analysis

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/Kobayashi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/Kobayashi03
Naoki Kobayashi:
Time regions and effects for resource usage analysis. 50-61
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/CalcagnoCG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/CalcagnoCG03
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. 62-73

Typed compilation

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/AhmedW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/AhmedW03
Amal J. Ahmed, David Walker:
The logical approach to stack typing. 74-85
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/AmtoftM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/AmtoftM03
Torben Amtoft, Robert Muller:
Inferring annotated types for inter-procedural register allocation with constructor flattening. 86-97
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/VanderwaartDPCHC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/VanderwaartDPCHC03
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng:
Typed compilation of recursive datatypes. 98-108

Types and garbage collection

- view
  authority control:
- export record
  dblp key:
  - conf/tldi/VanderwaartC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/VanderwaartC03
Joseph Vanderwaart, Karl Crary:
A typed interface for garbage collection. 109-122
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/Elsman03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/Elsman03
Martin Elsman:
Garbage collection safety for region-based memory management. 123-134

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.