8000 GitHub - Mari-W/PolyVGR: proof of concept for polymorphic imperative session types

More Web Proxy on the site http://driver.im/

Mari-W / PolyVGR Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

proof of concept for polymorphic imperative session types

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
app		app
examples		examples
.gitignore		.gitignore
PolyVGR.cabal		PolyVGR.cabal
README.md		README.md

Repository files navigation

Polymorphic Imperative Session Types

0