Witnessing side-effects

DOI10.1145/1086365.1086379zbMath1302.68073OpenAlexW2153687851MaRDI QIDQ2936773

Alex Aiken, Tachio Terauchi

Publication date: 6 January 2015

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

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

zbMATH Keywords

functional languagesside-effects

Mathematics Subject Classification ID

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

Related Items (1)

Polymorphic Fractional Capabilities

This page was built for publication: Witnessing side-effects