A Theory of Primitive Objects - Untyped and First-Order Systems

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Theoretical Aspects of Computer Software

• Publication date

  1994-04-19

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/3-540-57887-0_101
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An Imperative Object Calculus

  1995cited by this paper
• On subtyping and matching

  1995cited by this paper
• A paradigmatic object-oriented programming language: Design, static typing and semantics

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

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

  1994cited by this paper
• Efficient inference of object types

  1994cited by this paper
• A Theory of Primitive Objects: Second-Order Systems

  1994influential reference
• Subtyping and parametricity

  1994cited by this paper
• Baby Modula-3 and a theory of objects

  1994cited by this paper
• Notes on Typed Object-Oriented Programming

  1994cited by this paper
• A semantics of object types

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

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

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

  1993cited by this paper
• Coherence of subsumption, minimum typing and type-checking in F ≤

  1992cited by this paper
• Dynamic typing in a statically typed language

  1991cited by this paper
• Subtyping recursive types

  1991cited by this paper
• Systems programming in modula-3

  1991cited by this paper
• An Extension of System F with Subtyping

  1991cited by this paper
• Proofs and types

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

  1989cited by this paper
• Operations on records

  1989cited by this paper
• A denotational semantics of inheritance

  1989cited by this paper
• Inheritance is not subtyping

  1989cited by this paper
• Inheritance in smalltalk-80: a denotational definition

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

  1987cited by this paper
• Automatic Synthesis of Typed Lambda-Programs on Term Algebras

  1985cited by this paper
• On understanding types, data abstraction, and polymorphism

  1985cited by this paper
• Abstract types have existential types

  1985cited by this paper
• The Lambda Calculus: Its Syntax and Semantics

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

  1984cited by this paper
• Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics

  1984cited by this paper
• A Semantics of Multiple Inheritance

  1984cited by this paper
• Towards a theory of type structure

  1974cited by this paper
• SIMULA: an ALGOL-based simulation language

  1966cited by this paper

• Consistent Distributed Reactive Programming with Retroactive Computation

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

  2022cites this paper
• Índice general

  2017cites this paper
• Semantic Subtyping for Objects and Classes

  2016cites this paper
• Type inference for static compilation of JavaScript

  2016cites this paper
• Objects and subtyping in the λΠ-calculus modulo

  2015cites this paper
• An Object Calculus with Remote Method Invocation

  2013cites this paper
• 7 PROGRAMMABLE SECURITY FOR OBJECT-ORIENTED SYSTEMS

  2013cites this paper
• Copatterns: programming infinite structures by observations

  2013cites this paper
• Behavioural Types for Actor Systems

  2012cites this paper
• Modifiable Continuation in Object Calculus

  2012cites this paper
• Autonomous Interactive Agents for Population Ecology

  2010cites this paper
• Improving Efficiency and Safety of Program Generation

  2009cites this paper
• Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice

  2009cites this paper
• Game semantics for an object-oriented language

  2009cites this paper
• Safe type-level abstraction in Scala

  2008cites this paper
• Composing Safely - A Type System for Aspects

  2008cites this paper
• Generics of a higher kind

  2008cites this paper
• Programmation fonctionnelle et systemes de types (MPRI 2-4-2) Examen 2007-2008

  2008cites this paper
• Step-indexed Semantic Model of Types for the Functional Object Calculus

  2007cites this paper
• Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

  2007cites this paper
• Safe Type-level Abstraction in Scala Adriaan Moors

  2007cites this paper
• Self

  2007cites this paper
• WMR 2006 First International Workshop on Web Maintenance and Reengineering

  2006cites this paper
• The Core NSP Type System

  2006cites this paper
• Dialgebraic Semantics of Typed Object Calculi

  2005cites this paper
• Implementing an object-oriented error sensitive GIS

  2005cites this paper
• Inferring types for functional methods (where method calls come for free)

  2004cites this paper
• Extensible Objects: A Tutorial

  2003cites this paper
• From Inheritance to Feature Interaction

  2003cites this paper
• Temporal Logic Based Static Analysis for Non-uniform Behaviours

  2003cites this paper
• A Modular, Extensible Proof Method for Small-Step Flow Analyses

  2002cites this paper
• Type Systems in Programming Languages

  2002cites this paper
• Simplifying Subtyping Constraints: A Theory

  2001cites this paper
• Objects and their lambda calculus

  2001cites this paper
• A Layered Calculus for Encapsulated Object Modification

  2001influential citation
• Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS

  2001cites this paper
• Programming languages for reusable software components

  2000cites this paper
• A Programmer's Reduction Semantics for Classes and Mixins

  1999cites this paper
• A functional pattern system for object-oriented design

  1999cites this paper
• Static safety analysis for non-uniform service availability in Actors

  1999cites this paper
• An Interpretation of Extensible Objects

  1999cites this paper
• 1 PROGRAMMABLE SECURITY FOR OBJECT-ORIENTED SYSTEMS

  1998cites this paper
• Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus

  1998cites this paper
• On the Relationship Between Classes, Objects, and Data Abstraction

  1998cites this paper
• From Classes to Objects via Subtyping

  1998cites this paper
• Classes and mixins

  1998cites this paper
• An Imperative, First-Order Calculus with Object Extension

  1998cites this paper
• Objective ML: An Effective Object-Oriented Extension to ML

  1998cites this paper
• Proceedings of the Workshop on Semantics of Objects as Processes SOAP ’ 98 Aalborg , Denmark , July 18 , 1998

  1998cites this paper
• Concurrent Objects in the Blue Calculus

  1998cites this paper
• Bounded Polymorphism for Extensible Objects

  1998cites this paper
• The Theory of Fexprs is Trivial

  1998cites this paper
• An Interpretation of Typed Objects into Typed pi-Calculus

  1998cites this paper
• Programmable Security for Object-Oriented Systems

  1998cites this paper
• The CLP(OIH) Language

  1998influential citation
• Type-Theoretic Methodology for Practical Programming Languages

  1998cites this paper
• An Abstract Machine for an Object Calculus an Abstract Machine for an Object Calculus

  1997cites this paper
• Type Inference with Simple Selftypes is NP-complete

  1997influential citation
• Objective ML: a simple object-oriented extension of ML

  1997cites this paper
• A Typed Functional Calculus With State

  1997cites this paper
• From Inheritance to Feature Interaction or Composing Monads

  1997cites this paper
• A foundation for actor computation

  1997influential citation
• A Theory of Objects

  1996cites this paper
• Cap: an Actor Dedicated Process Calculus

  1996cites this paper
• A Layered Calculus for Encapsulated Object Modification Extended Abstract

  1996cites this paper
• An Interpretation of Typed Objects into Typed -calculus an Interpretation of Typed Objects into Typed -calculus

  1996cites this paper
• An interpretation of objects and object types

  1996cites this paper
• A Lambda Calculus of Incomplete Objects

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

  1996cites this paper
• Reasoning about systems with evolving structure

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

  1996cites this paper
• Classes = Objects + Data Abstraction

  1996cites this paper
• Objects , Types and Modal

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

  1996cites this paper
• Putting it in context: a syntactic theory of incremental program construction

  1996cites this paper
• Objects, Types and Modal Logics

  1996influential citation
• Obliq, a language with distributed scope

  1996cites this paper
• Typed Object-Oriented Functional Programming with Late Binding

  1996cites this paper
• Bisimilarity for a first-order calculus of objects with subtyping

  1996cites this paper
• A Calculus for Concurrent Objects

  1996cites this paper
• Science Objects , Types and Modal Logics

  1996cites this paper
• Objects as Mobile Processes

  1996cites this paper
• On subtyping and matching

  1995cites this paper
• Type Inference with Selftype

  1995cites this paper
• Ecien t Inference of Object Types

  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
• A language with distributed scope

  1995cites this paper
• Journal Backlog Report

  1995cites this paper
• An Imperative Object Calculus

  1995influential citation
• Eecient Inference of Object Types

  1995cites this paper
• PolyTOIL: A type-safe polymorphic object-oriented language

  1995cites this paper
• A formal foundation for concurrent object oriented programming

  1995cites this paper
• A Delegation-based Object Calculus with Subtying

  1995cites this paper
• Object-Oriented Functional Programming and Type Reconstruction

  1995cites this paper
• An Imperative Object Calculus Mart

  1995cites this paper
• Positive subtyping

  1995cites this paper
• Foundations of Object-Oriented Languages: 2nd Workshop report

  1995cites this paper
• Efficient inference of object types

  1994cites this paper