alt-romes/linear-core

My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation

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

在 GitHub 上查看原仓库