PolyTOIL: A type-safe polymorphic object-oriented language

Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech. PolyTOIL: A type-safe polymorphic object-oriented language. ACM Transactions on Programming Languages and Systems, 25(2):225-290, 2003. [doi]

Abstract

Abstract is missing.