Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
examples
Commits
7cb3cd61
Commit
7cb3cd61
authored
Dec 17, 2017
by
Ralf Jung
Browse files
fix README markdown
parent
b4510f0d
Pipeline
#5952
passed with stage
in 5 minutes and 32 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
7cb3cd61
...
...
@@ -33,15 +33,15 @@ This repository contains the following case studies:
*
[
logrel
](
theories/logrel
)
: Logical relations from the
[
IPM paper
](
http://doi.acm.org/10.1145/3093333.3009855
)
:
-
STLC
*
Unary logical relations proving type safety
-
Unary logical relations proving type safety
-
F_mu (System F with recursive types)
*
Unary logical relations proving type safety
-
Unary logical relations proving type safety
-
F_mu_ref (System F with recursive types and references)
*
Unary logical relations proving type safety
*
Binary logical relations for proving contextual refinements
-
Unary logical relations proving type safety
-
Binary logical relations for proving contextual refinements
-
F_mu_ref_conc (System F with recursive types, references and concurrency)
*
Unary logical relations proving type safety
*
Binary logical relations for proving contextual refinements
-
Unary logical relations proving type safety
-
Binary logical relations for proving contextual refinements
-
Proof of refinement for a pair of fine-grained/coarse-grained concurrent
counter implementations
-
Proof of refinement for a pair of fine-grained/coarse-grained concurrent
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment