Type theories and object-oriented programmimg

DOI10.1145/62058.62060MaRDI QIDQ3795187zbMATH OpenOpenAlexWikidataFDO

Authors Scott Danforth, Chris Tomlinson

Publication date 1988

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/62058.62060

zbMATH Keywords

abstract data typesdata abstractioninheritanceobject-oriented programmingpolymorphismsurveytype checkingtype inference

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Type theory and language constructs for objects with states
• Object-Orientation in the UTP
• Types and programing languages
• scientific article; zbMATH DE number 1479646
• Purely functional programming and the object-oriented inheritance and ploymorphism

Cited in

(17)

• Recursive types for Fun
• Object-oriented programming and abstract data types
• The data model of FAD, a database programming language
• Subtyping recursion and parametric polymorphism in kernel Fun
• ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings
• Fundamentals of coding type problems
• Type extensions
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 709368 (Why is no real title available?)
• scientific article; zbMATH DE number 1953279 (Why is no real title available?)
• scientific article; zbMATH DE number 1992423 (Why is no real title available?)
• scientific article; zbMATH DE number 1543033 (Why is no real title available?)
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Purely functional programming and the object-oriented inheritance and ploymorphism
• Classification of control of types in programs with complex data types
• Divergence of \(F_{\leq}\) type checking
• Graphical inheritance notation for state-based classes

This page was built for publication: Type theories and object-oriented programmimg

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3795187)