kpavery/System-Fo

An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, et al.

语言：Scala · GitHub 星标：33 · Fork：0

在 GitHub 上查看原仓库