Being archives for papers/projects I've worked on in my PhD studies.
In reverse chronological order
| Directory | Description |
|---|---|
ESOP2019 |
A calculus with improved disjoint polymorphism. In ESOP'19. |
TOPLAS2019 |
Journal version of Gradual. In TOPLAS'19. |
Necolus |
A calculus featuring disjoint intersection types and BCD subtyping. In ECOOP'18. |
SEDEL |
A calculus featuring typed first-class traits. In ECOOP'18. |
Gradual |
A gradually-typed calculus with implicit polymorphism. In ESOP'18. |
ESOP2018 |
Predecessor of Necolus paper. Submitted to ESOP'18, rejected. |
POPL2018 |
Predecessor of Gradual. Submitted to POPL'18, rejected. |
OOPSLA2017 |
Predecessor of SEDEL. Submitted to OOPSLA'17, rejected. |
APLAS2016 |
A dependently-typed calculus with general recursion and decidable type-checking. In APLAS'16. |
ESOP2016 |
Predecessor of APLAS2016. Submitted to ESOP'16, rejected. |
POPL2016 |
Predecessor of ESOP2016. Submitted to POPL'16, rejected. |
FCore |
A JVM implementation of System F with support for full tail-call elimination. In APLAS'15. |
PLDI2015 |
Predecessor of FCore. Submitted to PLDI'15, rejected. |
module |
Failed project (first-class modules using dependent intersections), my major project from 2016 to 2017. |