Christian Haack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2002–2009
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ECOOP | Type-Based Object Immutability with Flexible Initialization. | Christian Haack, Erik Poll |
| 2008 | APLAS | Reasoning about Java's Reentrant Locks. | Christian Haack, Marieke Huisman, Clment Hurlin |
| 2007 | ESOP | Immutable Objects for a Java-Like Language. | Christian Haack, Erik Poll, Jan Schfer, Aleksy Schubert |
| 2005 | CONCUR | Timed Spi-Calculus with Types for Secrecy and Authenticity. | Christian Haack, Alan Jeffrey |
| 2003 | ESOP | Type Error Slicing in Implicitly Typed Higher-Order Languages. | Christian Haack, Joe B. Wells |
| 2002 | ESOP | Branching Types. | Joe B. Wells, Christian Haack |