Mari-W/PolyVGR

proof of concept for polymorphic imperative session types

Haskell

Readme
0Issues
1Stargazer
2Watchers

Polymorphic Imperative Session Types

Topics

programming-language-theory session-types

Share to

Contact site admin: Geeks.