Transparent modules with fully syntatic signatures

DOI10.1145/317636.317801zbMath1345.68075OpenAlexW2165264979MaRDI QIDQ2817724

Zhong Shao

Publication date: 1 September 2016

Published in: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (4)

1ML with Special Effects ⋮ 1ML – Core and modules united ⋮ Type-based hot swapping of running modules ⋮ Lightweight Static Capabilities

This page was built for publication: Transparent modules with fully syntatic signatures