Baby Modula-3 and a theory of objects

DOI10.1017/S0956796800001052zbMath0817.68035OpenAlexW2091967036MaRDI QIDQ4764620

Martín Abadi

Publication date: 6 August 1995

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796800001052

zbMATH Keywords

structured operational semanticsbaby modula-3static type rules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

An imperative object calculus ⋮ Simple type-theoretic foundations for object-oriented programming

Uses Software

• LARCH
• LISP

Cites Work

• Functorial polymorphism
• Recursion over realizability structures
• An ideal model for recursive polymorphic types
• Unnamed Item
• Unnamed Item

This page was built for publication: Baby Modula-3 and a theory of objects