Merge requests · Iris / Actris

Session Type-level Polymorphism

!12 · created Apr 30, 2020 by Jonas Kastberg
- Merged
- 20
updated May 01, 2020
Adding kinded polymorphism in types

!11 · created Apr 24, 2020 by Jonas Kastberg
- Merged
- 1
updated Apr 24, 2020
Plainly

!10 · created Apr 24, 2020 by Daniël Louwrink
- Merged
- 0
updated Apr 24, 2020
Copying

!9 · created Apr 23, 2020 by Daniël Louwrink
- Merged
- 2
updated Apr 24, 2020
Algorithmic Typing Judgement

!8 · created Apr 22, 2020 by Jonas Kastberg
- Merged
- 3
updated Apr 24, 2020
Change recursive domain to `proto = 1 + (action * ▶ (V → proto → PROP))`.

!7 · created Apr 18, 2020 by Robbert Krebbers
- Merged
- 1
updated Apr 21, 2020
Session notation

!6 · created Apr 16, 2020 by Jonas Kastberg
- Merged
- 0
updated Apr 16, 2020
n-ary choice

!5 · created Apr 06, 2020 by Jonas Kastberg
- Merged
- 9
updated Apr 16, 2020
WIP: Type-level Quantifiers

!4 · created Apr 06, 2020 by Jonas Kastberg
- Closed
- 7
updated May 06, 2020
Logical Relations

!3 · created Apr 02, 2020 by Jonas Kastberg
- Merged
- 1
- 65
updated Apr 06, 2020
Subprotocols with message swapping

!2 · created Mar 25, 2020 by Robbert Krebbers
- Merged
- 1
- 2
updated Mar 25, 2020
Use Coq 8.10.1 for CI

!1 · created Nov 07, 2019 by Robbert Krebbers
- Merged
- 1
updated Nov 07, 2019