scientific article; zbMATH DE number 615137
From MaRDI portal
Publication:4301602
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Theory of programming languages (68N15) Theory of software (68N99) Semantics in the theory of computing (68Q55)
Recommendations
- Type theories and object-oriented programmimg
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- scientific article; zbMATH DE number 711035
- Object-oriented programming and abstract data types
- Simple type-theoretic foundations for object-oriented programming
- scientific article; zbMATH DE number 1393358
- scientific article; zbMATH DE number 4080882
- A domain-theoretic model of nominally-typed object-oriented programming
Cited in
(36)- A lambda-calculus for dynamic binding
- Higher-order subtyping
- Typed operational semantics for higher-order subtyping.
- Subtyping recursion and parametric polymorphism in kernel Fun
- Privacy via subsumption
- Objects and classes in Algol-like languages
- Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
- A coalgebraic semantics of subtyping
- Environment classifiers
- Bigraphs and transitions
- The M-calculus: a higher-order distributed process calculus
- A generic approach to the static analysis of concurrent programs with procedures
- Discovering affine equalities using random interpretation
- Bitwidth aware global register allocation
- Folklore confirmed
- New results on the computability and complexity of points-to analysis
- Incremental algorithms for dispatching in dynamically typed languages
- From control effects to typed continuation passing
- Coercive subtyping for the calculus of constructions (extended abstract)
- A type theory for memory allocation and data layout
- Static prediction of heap space usage for first-order functional programs
- Ownership types for object encapsulation
- Guarded recursive datatype constructors
- A type system for higher-order modules
- Pure patterns type systems
- Coherence of subsumption for monadic types
- Object-oriented programming: some history, and challenges for the next fifty years
- Labelled reductions, runtime errors, and operational subsumption
- Implicit coercions in type systems
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- Strong types for coordinating active objects
- Completeness and Herbrand theorems for nominal logic
- Efficient algorithms for isomorphisms of simple types
- Higher-order subtyping and its decidability
- DNAQL: a query language for DNA sticker complexes
- Polymorphic type inference for the relational algebra
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4301602)
