Baby Modula-3 and a theory of objects

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Journal of functional programming

• Publication date

  1994-04-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1017/S0956796800001052
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Theoretical aspects of object-oriented programming: types, semantics, and language design

  1994cited by this paper
• Extensible records in a pure calculus of subtyping

  1994cited by this paper
• Semantics of programming languages - structures and techniques

  1993cited by this paper
• Semantics of programming languages: structures and techniques

  1993cited by this paper
• Safe type checking in a statically-typed object-oriented programming language

  1993cited by this paper
• Larch: Languages and Tools for Formal Specification

  1993cited by this paper
• A lambda calculus of objects and method specialization

  1993cited by this paper
• Object-oriented programming without recursive types

  1993cited by this paper
• A calculus for overloaded functions with subtyping

  1992cited by this paper
• Recursion over Realizability Structures

  1991cited by this paper
• Subtyping recursive types

  1991influential reference
• Systems programming in modula-3

  1991cited by this paper
• A PER model of polymorphism and recursive types

  1990cited by this paper
• Functorial Polymorphism

  1990cited by this paper
• Common LISP: the language (2nd ed.)

  1990cited by this paper
• Toward a typed foundation for method specialization and inheritance

  1989cited by this paper
• A denotational semantics of inheritance

  1989cited by this paper
• Relational Semantics for Recursive Types and Bounded Quantification

  1989cited by this paper
• Inheritance is not subtyping

  1989cited by this paper
• Modula-3 Report.

  1988cited by this paper
• Complete Type Inference for Simple Objects

  1987cited by this paper
• Combinators and Functional Programming Languages

  1986cited by this paper
• Combinators and Functional Programming Languages

  1985cited by this paper
• Common Lisp the Language

  1984cited by this paper
• An ideal model for recursive polymorphic types

  1984influential reference
• On Observing Nondeterminism and Concurrency

  1980cited by this paper
• Interpretation fonctionelle et elimination des coupures dans l'aritmetique d'ordre superieur

  1972cited by this paper

• Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects

  2022cites this paper
• Formalizing φ-calculus: a purely object-oriented calculus of decorated objects

  2022cites this paper
• Review of Recent Techniques on Heap Specification and Verification

  2019cites this paper
• Comparative Analysis of Approaches to Static Verification of Dynamic Memory

  2019cites this paper
• Classless Object Semantics

  2017influential citation
• The semantics of name resolution in grace

  2017cites this paper
• A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction

  2016cites this paper
• Brand Objects for Nominal Typing (Artifact)

  2015cites this paper
• Automata Describing Object Behavior

  2014cites this paper
• Modula-3 CS 520 Final Report

  2008cites this paper
• A Survey of Semantic Techniques for Active Networks

  2007cites this paper
• Extensible objects without labels

  2004cites this paper
• Extensible Objects: A Tutorial

  2003cites this paper
• Polymorphic lambda calculus and subtyping

  2002cites this paper
• An Operational Approach to the Semantics of Classes: Application to Type Checking

  2002cites this paper
• Typed interpretations of extensible objects

  2002cites this paper
• The recursive record semantics of objects revisited

  2001influential citation
• Nuprl ’ s Class Theory and its Applications

  2000cites this paper
• A Subtyping for Extensible, Incomplete Objects

  1999influential citation
• A functional pattern system for object-oriented design

  1999cites this paper
• An Interpretation of Extensible Objects

  1999cites this paper
• Polarized higher-order subtyping

  1998cites this paper
• Designing a Programming Language for Active Networks

  1998cites this paper
• Bounded Polymorphism for Extensible Objects

  1998cites this paper
• Subtyping Constraints for Incomplete Objects (Extended Abstract)

  1997cites this paper
• An Extended Theory of Primitive Objects: FIrst Order System

  1997cites this paper
• Engineering Software Library Systems Connrmation Report

  1997cites this paper
• A Theory of Objects

  1996cites this paper
• Higher-order intersection types and multiple inheritance

  1996cites this paper
• A natural semantics for Eiffel dynamic binding

  1996cites this paper
• Introduction to the Literature on Programming Language Design

  1996cites this paper
• Typing in object-oriented languages: Achieving expressiveness and safety

  1996cites this paper
• Type systems for object-oriented programming languages

  1996cites this paper
• On subtyping and matching

  1995cites this paper
• An Imperative Object Calculus Mart

  1995cites this paper
• An imperative object calculus: Basic typing and soundness

  1995cites this paper
• The Development of Type Systems for Object-Oriented Languages

  1995cites this paper
• Label-selective lambda-calculi and transformation calculi

  1995cites this paper
• Using Type and Constructor Classes to Interpret Object Structures

  1995cites this paper
• An Imperative Object Calculus

  1995cites this paper
• A semantics of object types

  1994cites this paper
• A Theory of Primitive Objects - Untyped and First-Order Systems

  1994cites this paper
• Higher-Order Subtyping

  1994cites this paper
• A unifying type-theoretic framework for objects

  1994cites this paper
• Simple type-theoretic foundations for object-oriented programming

  1994cites this paper
• Notes on Typed Object-Oriented Programming

  1994cites this paper
• A paradigmatic object-oriented programming language: Design, static typing and semantics

  1994cites this paper
• Introduction to the Literature on Semantics

  1994cites this paper
• A Theory of Primitive Objects - Scond-Order Systems

  1994cites this paper
• A lambda calculus of objects and method specialization

  1993cites this paper
• Multiple Inheritancevia Intersection

  1993cites this paper
• A Model of Delegation Based on Existential Types

  1993cites this paper
• Encodings of Extensible Objects and Types

  year unknowncites this paper