Journal: TAPOS

Volume 5, Issue 1

1 -- 0Benjamin C. Pierce. Foundations of Object-Oriented Languages - Introduction
3 -- 24Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid. Is the Java Type System Sound?
25 -- 33Davide Sangiorgi. Typed pi-calculus at Work: A Correctness Proof of Jones s Parallelisation Transformation on Concurrent Objects
35 -- 55Martin Odersky, Martin Sulzmann, Martin Wehr. Type Inference with Constrained Types
57 -- 72Fritz Henglein. Breaking Through the n:::3::: Barrier: Faster Object Type Inference