Contextual isomorphisms

From MaRDI portal

Publication:5370877

Jump to:navigation, search

DOI10.1145/3009837.3009898zbMath1380.68128OpenAlexW2610742227MaRDI QIDQ5370877

Paul Blain Levy

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

isomorphism computational effects contextual equivalence call-by-push-value

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Foundations of dependent interoperability ⋮ Gradual type theory

This page was built for publication: Contextual isomorphisms

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5370877&oldid=20079745"