ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
ICFP 2023 (series) / Artifact Evaluation /

Dependent Session Protocols in Separation Logic from First Principles (Artifact)

Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
ICFP 2023 Artifact Evaluation

This is the artifact for the paper Dependent Session Protocols in Separation Logic from First Principles

small-avatar
Jules Jacobs
Radboud University Nijmegen
Jonas Kastberg Hinrichsen
Jonas Kastberg Hinrichsen
Aarhus University, Denmark
Denmark
Robbert Krebbers
Robbert Krebbers
Radboud University Nijmegen
Netherlands