My PhD Thesis

Let me know if you have any good advice against procrastination.

I am using the skeleton from Xuan Bi, who has used the latex template from latex-mimosis.

Publications

This thesis work is based on my previous publications:

Ningning Xie and Bruno C. d. S. Oliveira. 2018. Let Arguments Go First. In European Symposium on Programming (ESOP).
Ningning Xie, Xuan Bi, and Bruno C. d. S. Oliveira. 2018. Consistent Subtyping for All. In European Symposium on Programming (ESOP).
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, and Tom Schrijvers. 2019. Consistent Subtyping for All. In ACM Transactions on Programming Languages and Systems (TOPLAS).
Ningning Xie and Bruno C. d. S. Oliveira. 2017. Towards Unification for Dependent Types (Extended abstract), In Draft Proceedings of Trends in Functional Programming (TFP).
Ningning Xie, Richard Eisenberg, and Bruno C. d. S. Oliveira. 2020. Kind Inference for Datatypes. In Symposium on Principles of Programming Languages (POPL).

Name		Name	Last commit message	Last commit date
Latest commit History 260 Commits
Sources		Sources
figures		figures
spec		spec
.gitignore		.gitignore
Build.hs		Build.hs
LICENSE.md		LICENSE.md
Makefile		Makefile
Readme.md		Readme.md
Thesis.bib		Thesis.bib
Thesis.lhstex		Thesis.lhstex
Thesis.pdf		Thesis.pdf
acknowledgment.tex		acknowledgment.tex
latexmkrc		latexmkrc
listproc.sty		listproc.sty
mimosis.cls		mimosis.cls
ottalt.sty		ottalt.sty
packages.tex		packages.tex
pl-theory.tex		pl-theory.tex
rae.fmt		rae.fmt
run.sh		run.sh
script.rb		script.rb
tkz-berge.sty		tkz-berge.sty
tkz-graph.sty		tkz-graph.sty
topmatter.tex		topmatter.tex