Memoryful geometry of Interaction II: recursion and adequacy

DOI10.1145/2837614.2837672zbMath1347.68214OpenAlexW2296385359MaRDI QIDQ2828318

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

monadadequacygeometry of interactionalgebraic effect

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

The geometry of Bayesian programming, Unnamed Item, Unnamed Item