Giters

Mari-W / PolyVGR

proof of concept for polymorphic imperative session types

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

programming-language-theorysession-types

Polymorphic Imperative Session Types

About

proof of concept for polymorphic imperative session types

programming-language-theorysession-types

Languages

Language:Haskell 100.0%