Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)

Thumbnail Image

Files

Primary 297182.pdf (361.03 KB)

Date

2023

Authors

Jacobs, J. Jules
Hinrichsen, J.K.
Krebbers, R.J.

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/297182

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By