Principals in programming languages
From MaRDI portal
Publication:2817722
DOI10.1145/317636.317799zbMath1345.68114OpenAlexW1994191642MaRDI QIDQ2817722
Steve Zdancewic, Greg Morrisett, Dan Grossman
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.317799
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (2)
A bisimulation for dynamic sealing ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
This page was built for publication: Principals in programming languages
