R.: Subtyping with Strengthening Type Invariants (2000)

by T Kozsik, D van Arkel, Plasmeijer
Venue:Proceedings of the 12th International Workshop on Implementation of Functional Languages (M. Mohnen, P. Koopman (eds)), Aachener Informatik-Berichte