Theory Pract. Object Syst.

Keyphrases

Publications

volume 5, number 1, 1999

Fritz Henglein
Barrier: Faster Object Type Inference. Theory Pract. Object Syst. 5 (1) (1999)
Benjamin C. Pierce
Foundations of Object-Oriented Languages - Introduction. Theory Pract. Object Syst. 5 (1) (1999)
Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
Is the Java Type System Sound? Theory Pract. Object Syst. 5 (1) (1999)
Martin Odersky, Martin Sulzmann, Martin Wehr
Type Inference with Constrained Types. Theory Pract. Object Syst. 5 (1) (1999)
Davide Sangiorgi
Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects. Theory Pract. Object Syst. 5 (1) (1999)

volume 5, number 2, 1999

volume 5, number 3, 1999

volume 5, number 4, 1999

volume 4, number 1, 1998

volume 4, number 2, 1998

volume 4, number 3, 1998

volume 4, number 4, 1998

volume 3, number 2, 1997

Ole Agesen
Design and Implementation of Pep, A Java Just-in-Time Translator. Theory Pract. Object Syst. 3 (2) (1997)

volume 3, number 3, 1997

volume 3, number 4, 1997