Opaque types in algol-like languages (1993)

by O’H93 P W O’Hearn