scientific article

From MaRDI portal

Revision as of 14:24, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3345748

Jump to:navigation, search

zbMath0552.68009MaRDI QIDQ3345748

Rod M. Burstall, B. W. Lampson

Publication date: 1984

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

zbMATH Keywords

modules operational semantics interfaces unions typed lambda calculus inference rules recursive types abstract data types generic types implementations

Mathematics Subject Classification ID

Data structures (68P05) Combinatory logic and lambda calculus (03B40)

Related Items (8)

A view of programming languages as symbiosis of meaning and computations ⋮ Types for modules ⋮ On the classification of binding mechanisms ⋮ A note on Russell's paradox in locally Cartesian closed categories ⋮ Categorical ML -- category-theoretic modular programming ⋮ A calculus for reasoning about software composition ⋮ Manifest Fields and Module Mechanisms in Intensional Type Theory ⋮ Retractions of dI-domains as a model for Type:Type

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3345748&oldid=16595351"