├── .gitignore ├── Build.hs ├── LICENSE.md ├── Makefile ├── Readme.md ├── Sources ├── Abstract.tex ├── Appendix.mngtex ├── Appendix │ └── ghc.lhsmngtex ├── Background.tex ├── Background │ ├── DK.mngtex │ ├── HM.mngtex │ └── OL.mngtex ├── BiDirectional.tex ├── BiDirectional │ ├── algorithm.mngtex │ ├── discussion.mngtex │ ├── introduction.mngtex │ ├── translation.mngtex │ └── typesystem.mngtex ├── Dynamic.tex ├── Dynamic │ ├── algorithm.mngtex │ └── declarative.mngtex ├── Future.tex ├── Future │ └── future.lhsmngtex ├── Gradual.tex ├── Gradual │ ├── algorithm.mngtex │ ├── discussion.mngtex │ ├── exploration.mngtex │ ├── introduction.mngtex │ └── typesystem.mngtex ├── Introduction.tex ├── Introduction │ ├── contributions.mngtex │ ├── motivation.mngtex │ └── organization.mngtex ├── KindInference.tex ├── KindInference │ ├── extension.lhsmngtex │ ├── haskell98.lhsmngtex │ ├── haskell98_algo.lhsmngtex │ ├── haskell98_tparm.lhsmngtex │ ├── introduction.lhsmngtex │ ├── typeintype.lhsmngtex │ └── typeintype_algo.lhsmngtex ├── Promotion.tex ├── Promotion │ ├── discussion.mngtex │ ├── introduction.mngtex │ ├── subtyping.mngtex │ └── unification.mngtex ├── Related.tex ├── Related │ └── related.lhsmngtex └── handwritten-rules.mngtex ├── Thesis.bib ├── Thesis.lhstex ├── Thesis.pdf ├── acknowledgment.tex ├── figures └── hku.pdf ├── latexmkrc ├── listproc.sty ├── mimosis.cls ├── ottalt.sty ├── packages.tex ├── pl-theory.tex ├── rae.fmt ├── run.sh ├── script.rb ├── spec └── source.ott ├── tkz-berge.sty ├── tkz-graph.sty └── topmatter.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/.gitignore -------------------------------------------------------------------------------- /Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Build.hs -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Makefile -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Readme.md -------------------------------------------------------------------------------- /Sources/Abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Abstract.tex -------------------------------------------------------------------------------- /Sources/Appendix.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Appendix.mngtex -------------------------------------------------------------------------------- /Sources/Appendix/ghc.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Appendix/ghc.lhsmngtex -------------------------------------------------------------------------------- /Sources/Background.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Background.tex -------------------------------------------------------------------------------- /Sources/Background/DK.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Background/DK.mngtex -------------------------------------------------------------------------------- /Sources/Background/HM.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Background/HM.mngtex -------------------------------------------------------------------------------- /Sources/Background/OL.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Background/OL.mngtex -------------------------------------------------------------------------------- /Sources/BiDirectional.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/BiDirectional.tex -------------------------------------------------------------------------------- /Sources/BiDirectional/algorithm.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/BiDirectional/algorithm.mngtex -------------------------------------------------------------------------------- /Sources/BiDirectional/discussion.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/BiDirectional/discussion.mngtex -------------------------------------------------------------------------------- /Sources/BiDirectional/introduction.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/BiDirectional/introduction.mngtex -------------------------------------------------------------------------------- /Sources/BiDirectional/translation.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/BiDirectional/translation.mngtex -------------------------------------------------------------------------------- /Sources/BiDirectional/typesystem.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/BiDirectional/typesystem.mngtex -------------------------------------------------------------------------------- /Sources/Dynamic.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Dynamic.tex -------------------------------------------------------------------------------- /Sources/Dynamic/algorithm.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Dynamic/algorithm.mngtex -------------------------------------------------------------------------------- /Sources/Dynamic/declarative.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Dynamic/declarative.mngtex -------------------------------------------------------------------------------- /Sources/Future.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Future.tex -------------------------------------------------------------------------------- /Sources/Future/future.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Future/future.lhsmngtex -------------------------------------------------------------------------------- /Sources/Gradual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Gradual.tex -------------------------------------------------------------------------------- /Sources/Gradual/algorithm.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Gradual/algorithm.mngtex -------------------------------------------------------------------------------- /Sources/Gradual/discussion.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Gradual/discussion.mngtex -------------------------------------------------------------------------------- /Sources/Gradual/exploration.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Gradual/exploration.mngtex -------------------------------------------------------------------------------- /Sources/Gradual/introduction.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Gradual/introduction.mngtex -------------------------------------------------------------------------------- /Sources/Gradual/typesystem.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Gradual/typesystem.mngtex -------------------------------------------------------------------------------- /Sources/Introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Introduction.tex -------------------------------------------------------------------------------- /Sources/Introduction/contributions.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Introduction/contributions.mngtex -------------------------------------------------------------------------------- /Sources/Introduction/motivation.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Introduction/motivation.mngtex -------------------------------------------------------------------------------- /Sources/Introduction/organization.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Introduction/organization.mngtex -------------------------------------------------------------------------------- /Sources/KindInference.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference.tex -------------------------------------------------------------------------------- /Sources/KindInference/extension.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/extension.lhsmngtex -------------------------------------------------------------------------------- /Sources/KindInference/haskell98.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/haskell98.lhsmngtex -------------------------------------------------------------------------------- /Sources/KindInference/haskell98_algo.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/haskell98_algo.lhsmngtex -------------------------------------------------------------------------------- /Sources/KindInference/haskell98_tparm.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/haskell98_tparm.lhsmngtex -------------------------------------------------------------------------------- /Sources/KindInference/introduction.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/introduction.lhsmngtex -------------------------------------------------------------------------------- /Sources/KindInference/typeintype.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/typeintype.lhsmngtex -------------------------------------------------------------------------------- /Sources/KindInference/typeintype_algo.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/KindInference/typeintype_algo.lhsmngtex -------------------------------------------------------------------------------- /Sources/Promotion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Promotion.tex -------------------------------------------------------------------------------- /Sources/Promotion/discussion.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Promotion/discussion.mngtex -------------------------------------------------------------------------------- /Sources/Promotion/introduction.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Promotion/introduction.mngtex -------------------------------------------------------------------------------- /Sources/Promotion/subtyping.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Promotion/subtyping.mngtex -------------------------------------------------------------------------------- /Sources/Promotion/unification.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Promotion/unification.mngtex -------------------------------------------------------------------------------- /Sources/Related.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Related.tex -------------------------------------------------------------------------------- /Sources/Related/related.lhsmngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/Related/related.lhsmngtex -------------------------------------------------------------------------------- /Sources/handwritten-rules.mngtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Sources/handwritten-rules.mngtex -------------------------------------------------------------------------------- /Thesis.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Thesis.bib -------------------------------------------------------------------------------- /Thesis.lhstex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Thesis.lhstex -------------------------------------------------------------------------------- /Thesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/Thesis.pdf -------------------------------------------------------------------------------- /acknowledgment.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/acknowledgment.tex -------------------------------------------------------------------------------- /figures/hku.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/figures/hku.pdf -------------------------------------------------------------------------------- /latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/latexmkrc -------------------------------------------------------------------------------- /listproc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/listproc.sty -------------------------------------------------------------------------------- /mimosis.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/mimosis.cls -------------------------------------------------------------------------------- /ottalt.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/ottalt.sty -------------------------------------------------------------------------------- /packages.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/packages.tex -------------------------------------------------------------------------------- /pl-theory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/pl-theory.tex -------------------------------------------------------------------------------- /rae.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/rae.fmt -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/run.sh -------------------------------------------------------------------------------- /script.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/script.rb -------------------------------------------------------------------------------- /spec/source.ott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/spec/source.ott -------------------------------------------------------------------------------- /tkz-berge.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/tkz-berge.sty -------------------------------------------------------------------------------- /tkz-graph.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/tkz-graph.sty -------------------------------------------------------------------------------- /topmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/Dissertation/HEAD/topmatter.tex --------------------------------------------------------------------------------