|
Journals in DBLP
TAPOS 1998, volume: 4, number: 1
- Kim B. Bruce, Benjamin C. Pierce
Editorial - Third Workshop on Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP] TAPOS, 1998, v:4, n:1, pp:1- [Journal]
- Kathleen Fisher, John C. Mitchell
On the Relationship Between Classes, Objects, and Data Abstraction. [Citation Graph (0, 0)][DBLP] TAPOS, 1998, v:4, n:1, pp:3-25 [Journal]
- Didier Rémy, Jerome Vouillon
Objective ML: An Effective Object-Oriented Extension to ML. [Citation Graph (0, 0)][DBLP] TAPOS, 1998, v:4, n:1, pp:27-50 [Journal]
- Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
Inheritance of Proofs. [Citation Graph (0, 0)][DBLP] TAPOS, 1998, v:4, n:1, pp:51-69 [Journal]
|