A language-based approach to functionally correct imperative programming
From MaRDI portal
Publication:2936790
DOI10.1145/1086365.1086400zbMath1302.68095OpenAlexW2134737716MaRDI QIDQ2936790
Ian Wehrman, Aaron Stump, Edwin Westbrook
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://openscholarship.wustl.edu/cse_research/951
Related Items
Hoare type theory, polymorphism and separation, Type-level Computation Using Narrowing in Ωmega, Language-Based Program Verification via Expressive Types, Imperative LF Meta-Programming
Uses Software