Giters

ruudkoot / phd

Stuff related to my Ph.D. research

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

static-program-analysisterm-rewritingtype-inferenceunification-algorithm

phd

Stuff related to my Ph.D. research

About

Stuff related to my Ph.D. research

static-program-analysisterm-rewritingtype-inferenceunification-algorithm

Languages

Language:Haskell 50.4%Language:TeX 37.7%Language:Coq 8.9%Language:HTML 2.4%Language:Shell 0.2%Language:CSS 0.2%Language:Makefile 0.1%Language:C# 0.0%Language:Agda 0.0%