scientific article; zbMATH DE number 814802

zbMath0836.68010MaRDI QIDQ4855349

John C. Mitchell

Publication date: 11 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

object-oriented programming languagesmethod specialization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items (2)

Divergence of \(F_{\leq}\) type checking ⋮ A Coalgebraic Semantics of Subtyping

Uses Software

• Smalltalk

This page was built for publication: