Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Publication year
2023Source
Proceedings of the ACM on Programming Languages, 7, ICFP, (2023), pp. 1-28, article 214ISSN
Publication type
Article / Letter to editor
Display more detailsDisplay less details
Organization
Software Science
Journal title
Proceedings of the ACM on Programming Languages
Volume
vol. 7
Issue
iss. ICFP
Page start
p. 1
Page end
p. 28
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [245055]
- Electronic publications [132364]
- Faculty of Science [37363]
- Open Access publications [105972]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.