Modules, abstract types, and distributed versioning

DOI10.1145/360204.360225zbMath1323.68228OpenAlexW2083140588MaRDI QIDQ5178886

Peter Sewell

Publication date: 17 March 2015

Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/360204.360225

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A bisimulation for dynamic sealing ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions ⋮ Type-based hot swapping of running modules

This page was built for publication: Modules, abstract types, and distributed versioning