Giters

alexj136 / gvcalc

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

session-typespi-calculuslambda-calculussubtypinglinear-types

This repository is not active

About

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

session-typespi-calculuslambda-calculussubtypinglinear-types

Languages

Language:Haskell 77.8%Language:Logos 12.0%Language:Yacc 10.2%