2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/publication-type/1/ 2020-11-15T00:00:00+00:00 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/tag/disjoint-intersection-type/ 2020-11-15T00:00:00+00:00 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/publication_types/ 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/publication/ 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/publication/xie-2020-ecoop/ 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/tags/ 2020-12-13T00:00:00+00:00 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/tag/type-system/ 2020-11-15T00:00:00+00:00 https://bixuanzju.github.io/ 2020-12-13T00:00:00+00:00 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/tag/coq/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/project/fii/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/project/gpc/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/tag/gradual-typing/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/tag/haskell/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/project/nested/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/project/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/project/sedel/ 2019-03-06T00:00:00+00:00 https://bixuanzju.github.io/slides/ 2019-02-05T00:00:00+00:00 https://bixuanzju.github.io/slides/example/ 2019-02-05T00:00:00+00:00 https://bixuanzju.github.io/publication/bi-2019-dis/ 2019-01-26T00:00:00+00:00 https://bixuanzju.github.io/publication-type/2/ 2019-01-16T00:00:00+00:00 https://bixuanzju.github.io/publication/xie-2019-toplas/ 2019-01-16T00:00:00+00:00 https://bixuanzju.github.io/publication-type/7/ 2018-12-21T00:00:00+00:00 https://bixuanzju.github.io/publication/thesis/ 2018-12-21T00:00:00+00:00 https://bixuanzju.github.io/tag/disjoint-intersection/ 2018-12-21T00:00:00+00:00 https://bixuanzju.github.io/publication/bi-2018-essence/ 2018-07-20T00:00:00+00:00 https://bixuanzju.github.io/publication/bi-2018-typed/ 2018-07-20T00:00:00+00:00 https://bixuanzju.github.io/publication/xie-2018-consistent/ 2018-03-11T00:00:00+00:00 https://bixuanzju.github.io/tag/dependent-type/ 2016-09-01T00:00:00+00:00 https://bixuanzju.github.io/publication/yang-2016-unified/ 2016-09-01T00:00:00+00:00 2016-09-01T00:00:00+00:00 https://bixuanzju.github.io/tag/academic/ 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/categories/ 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/category/demo/ 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/post/ 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/post/getting-started/ 2020-12-13T00:00:00+00:00 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/tag/%E5%BC%80%E6%BA%90/ 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/category/%E6%95%99%E7%A8%8B/ 2020-12-13T00:00:00+00:00 https://bixuanzju.github.io/project/fcore/ 2016-03-06T00:00:00+00:00 2015-09-01T00:00:00+00:00 https://bixuanzju.github.io/publication/tauber-2015-memory/ 2015-09-01T00:00:00+00:00 2015-09-01T00:00:00+00:00 2015-09-01T00:00:00+00:00 2015-09-01T00:00:00+00:00 2015-09-01T00:00:00+00:00 https://bixuanzju.github.io/publication/chen-2014-biotcm/ 2014-01-01T00:00:00+00:00 2014-01-01T00:00:00+00:00 2014-01-01T00:00:00+00:00 2014-01-01T00:00:00+00:00 2014-01-01T00:00:00+00:00 2014-01-01T00:00:00+00:00 https://bixuanzju.github.io/talk/