petur-a/masters

Developing a type system for a minimal reversible functional language.

语言：TeX · GitHub 星标：7 · Fork：0

话题：diku · first-match-policy · functional-programming · linear-logic · master-thesis · operational-semantics · program-transformations · reversible-programming-language

在 GitHub 上查看原仓库