Name		Name	Last commit message	Last commit date
data-util		data-util
deprecated		deprecated
exception-analysis		exception-analysis
higher-ranked-dimension-analysis		higher-ranked-dimension-analysis
higher-ranked-exception-types		higher-ranked-exception-types
latex		latex
presentations		presentations
program-analysis-implementations		program-analysis-implementations
.gitignore		.gitignore
README.md		README.md

Repository files navigation

phd

Stuff related to my Ph.D. research

About

Stuff related to my Ph.D. research

static-program-analysis term-rewriting type-inference unification-algorithm

3 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages