steinwaywhw / ats-sessions

Session Types Library for ATS

http://multirolelogic.org

Geek Repo

Github PK Tool

ats session-types linear-logic

This repository is not active

About

Session Types Library for ATS

http://multirolelogic.org

ats session-types linear-logic

MIT License

Languages

Language:HTML 56.6%Language:JavaScript 21.1%Language:ATS 11.5%Language:C 6.3%Language:CSS 3.1%Language:SMT 0.5%Language:Python 0.5%Language:Makefile 0.4%