xnning / Dissertation

My PhD Thesis

My PhD Thesis

• 2021-08-10 Final 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).