From structures and functors to modules and units

DOI10.1145/1159803.1159815zbMath1321.68157OpenAlexW2100562635MaRDI QIDQ5501460

Scott Owens, Matthew Flatt

Publication date: 3 August 2015

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

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

zbMATH Keywords

functormoduleunitstructurecomponent

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: From structures and functors to modules and units