Travelled to:1 × France
1 × Italy
1 × Poland
1 × Portugal
Collaborated with:J.B.Wells E.Poll J.Schäfer A.Schubert
Talks about:type (4) languag (2) object (2) immut (2) implicit (1) flexibl (1) higher (1) branch (1) slice (1) order (1)
Person: Christian Haack
DBLP: Haack:Christian
Contributed to:
2009
200720032002Wrote 4 papers:
- ECOOP-2009-HaackP #flexibility #type system
- Type-Based Object Immutability with Flexible Initialization (CH, EP), pp. 520–545.
- ESOP-2007-HaackPSS #java
- Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
- ESOP-2003-HaackW #fault #higher-order #slicing
- Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.
- ESOP-2002-WellsH #branch
- Branching Types (JBW, CH), pp. 115–132.