Types as models

From MaRDI portal
Revision as of 15:57, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5178897

DOI10.1145/503272.503278zbMath1323.68365OpenAlexW2044550200MaRDI QIDQ5178897

Sagar Chaki, Jakob Rehof, Sriram K. Rajamani

Publication date: 17 March 2015

Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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




Related Items (17)


Uses Software






This page was built for publication: Types as models