Skip to main content

Safe Type Checking in a Statically-Typed Object-Oriented Programming Language

PDF DOI 10.1145/158511.158650 dblp BibTeX

Abstract

In this paper we introduce a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variable, subtypes, and inheritance.

Related papers

PolyTOIL: A type-safe polymorphic object-oriented language TOPLAS 2003
Safe and Decidable Type Checking in an Object-Oriented Language OOPSLA 1993
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics JFP 1994
Modules and Type Checking in PL/LL OOPSLA 1987
Foundations of Typestate-Oriented Programming TOPLAS 2014
Ownership types for safe region-based memory management in real-time Java PLDI 2003
Ownership transfer in universe types OOPSLA 2007
LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016