Bernd Holzmüller. On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms. In Serge Demeyer, Jan Bosch, editors, Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings. Volume 1543 of Lecture Notes in Computer Science, pages 31, Springer, 1998.
@inproceedings{Holzmuller98,
title = {On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms},
author = {Bernd Holzmüller},
year = {1998},
tags = {programming languages, type system, programming, systematic-approach},
researchr = {https://researchr.org/publication/Holzmuller98},
cites = {0},
citedby = {0},
pages = {31},
booktitle = {Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
editor = {Serge Demeyer and Jan Bosch},
volume = {1543},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65460-7},
}