• Wiley Online Library will be disrupted on 26 May from 10:00-12:00 BST (05:00-07:00 EDT) for essential maintenance

Theory and Practice of Object Systems

Cover image for Theory and Practice of Object Systems

Special Issue: Foundations of Object-Oriented Languages

January/March 1999

Volume 5, Issue 1

Pages 1–72

Issue edited by: Benjamin C. Pierce

  1. Editorial

    1. Top of page
    2. Editorial
    3. Research Articles
    1. Foundations of object-oriented languages (page 1)

      Benjamin C. Pierce

      Article first published online: 6 JUN 2000 | DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<1::AID-TAPO1>3.0.CO;2-Y

  2. Research Articles

    1. Top of page
    2. Editorial
    3. Research Articles
    1. Is the Java type system sound? (pages 3–24)

      Sophia Drossopoulou, Susan Eisenbach and Sarfraz Khurshid

      Article first published online: 6 JUN 2000 | DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T

    2. Typed π-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects (pages 25–33)

      Davide Sangiorgi

      Article first published online: 6 JUN 2000 | DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<25::AID-TAPO3>3.0.CO;2-A

    3. Type inference with constrained types (pages 35–55)

      Martin Odersky, Martin Sulzmann and Martin Wehr

      Article first published online: 6 JUN 2000 | DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4

    4. Breaking through the n3 barrier: Faster object type inference (pages 57–72)

      Fritz Henglein

      Article first published online: 6 JUN 2000 | DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<57::AID-TAPO5>3.0.CO;2-U

SEARCH

SEARCH BY CITATION