Inproceedings,

On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms.

.
ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 31. Springer, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews