Skip to content
Snippets Groups Projects
Commit be66a74d authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

More typos.

parent cf317ac2
No related branches found
No related tags found
No related merge requests found
Pipeline #39497 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ be66a74d
...@@ -4,7 +4,7 @@ This repository contains: ...@@ -4,7 +4,7 @@ This repository contains:
- The Coq mechanization of the Actris framework, first presented in the paper - The Coq mechanization of the Actris framework, first presented in the paper
[Actris: Session Type Based Reasoning in Separation Logic](https://iris-project.org/pdfs/2020-popl-actris-final.pdf) [Actris: Session Type Based Reasoning in Separation Logic](https://iris-project.org/pdfs/2020-popl-actris-final.pdf)
at POPL'20 at POPL'20
- The logical relations model for a semantic session type system, first present in - The logical relations model for a semantic session type system, first presented in
the paper the paper
[Machine-Checked Semantic Session Typing](https://iris-project.org/pdfs/2021-cpp-sessions-final.pdf) [Machine-Checked Semantic Session Typing](https://iris-project.org/pdfs/2021-cpp-sessions-final.pdf)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment