Martin Tancer:
d-collapsibility is NP-complete for d greater or equal to 4.
Special Issue:
Selected Papers from CATS 2009
Koji Nakazawa,
Makoto Tatsuta:
Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems.
Sumit Ganguly:
Distributing Frequency-Dependent Data Stream Computations.