Skip to content

SourceReviver/Dissertation

 
 

Repository files navigation

My PhD Thesis

  • 2020-02-11 First draft submitted :D

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).

Releases

No releases published

Packages

No packages published

Languages

  • TeX 98.4%
  • Other 1.6%