Type-indexed rows

DOI10.1145/360204.360230zbMath1323.68159OpenAlexW1986291093MaRDI QIDQ5178888

Erik Meijer, Mark B. Shields

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.360230

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Type inference for record concatenation and subtyping ⋮ Towards efficient adjustment of effect rows

This page was built for publication: Type-indexed rows