Featherweight generic confinement

DOI10.1017/S0956796806006125zbMath1109.68032OpenAlexW1971907018MaRDI QIDQ3426137

Alex Potanin, Robert Biddle, Dave Clarke, James S. Noble

Publication date: 8 March 2007

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (2)

Universe Types for Topology and Encapsulation ⋮ Invariants for Non-Hierarchical Object Structures

This page was built for publication: Featherweight generic confinement