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

About

proof of concept for polymorphic imperative session types

session-types programming-language-theory

Report repository

Languages

Haskell 100.0%