├── .gitignore ├── OMakefile ├── OMakeroot ├── README.mkd ├── book ├── OMakefile ├── TTGen.hs ├── colophon.tex ├── cover.tex ├── design.sty ├── lambda.tex ├── layout.tex ├── main-draft.tex ├── main-final.tex ├── main.tex ├── postface.tex ├── preface.tex ├── proof.sty ├── typeinfer-poly.tex └── typeinfer-stlc.tex ├── report ├── OMakefile ├── graph.dot ├── report.bib └── report.tex ├── slide ├── 2011-09-16 │ ├── OMakefile │ └── slide.tex ├── 2011-12-21 │ ├── OMakefile │ ├── graph.dot │ └── slide.tex └── OMakefile └── src ├── OMakefile └── ocaml ├── OMakefile ├── parametric-poly1 ├── OMakefile ├── def.ml ├── infer.ml ├── lexer.mll ├── main.ml └── parser.mly ├── parametric-poly2 ├── OMakefile ├── def.ml ├── infer.ml ├── lexer.mll ├── main.ml └── parser.mly ├── poly ├── OMakefile ├── def.ml ├── infer.ml ├── lexer.mll ├── main.ml └── parser.mly └── stlc ├── OMakefile ├── def.ml ├── infer.ml ├── lexer.mll ├── main.ml └── parser.mly /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/.gitignore -------------------------------------------------------------------------------- /OMakefile: -------------------------------------------------------------------------------- 1 | 2 | .SUBDIRS: src book slide report 3 | 4 | -------------------------------------------------------------------------------- /OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/OMakeroot -------------------------------------------------------------------------------- /README.mkd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/README.mkd -------------------------------------------------------------------------------- /book/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/OMakefile -------------------------------------------------------------------------------- /book/TTGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/TTGen.hs -------------------------------------------------------------------------------- /book/colophon.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/colophon.tex -------------------------------------------------------------------------------- /book/cover.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/cover.tex -------------------------------------------------------------------------------- /book/design.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/design.sty -------------------------------------------------------------------------------- /book/lambda.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/lambda.tex -------------------------------------------------------------------------------- /book/layout.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/layout.tex -------------------------------------------------------------------------------- /book/main-draft.tex: -------------------------------------------------------------------------------- 1 | \newcommand{\notemode}{1} 2 | \input{main} 3 | -------------------------------------------------------------------------------- /book/main-final.tex: -------------------------------------------------------------------------------- 1 | \newcommand{\notemode}{0} 2 | \input{main} 3 | -------------------------------------------------------------------------------- /book/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/main.tex -------------------------------------------------------------------------------- /book/postface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/postface.tex -------------------------------------------------------------------------------- /book/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/preface.tex -------------------------------------------------------------------------------- /book/proof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/proof.sty -------------------------------------------------------------------------------- /book/typeinfer-poly.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/typeinfer-poly.tex -------------------------------------------------------------------------------- /book/typeinfer-stlc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/book/typeinfer-stlc.tex -------------------------------------------------------------------------------- /report/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/report/OMakefile -------------------------------------------------------------------------------- /report/graph.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/report/graph.dot -------------------------------------------------------------------------------- /report/report.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/report/report.bib -------------------------------------------------------------------------------- /report/report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/report/report.tex -------------------------------------------------------------------------------- /slide/2011-09-16/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/slide/2011-09-16/OMakefile -------------------------------------------------------------------------------- /slide/2011-09-16/slide.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/slide/2011-09-16/slide.tex -------------------------------------------------------------------------------- /slide/2011-12-21/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/slide/2011-12-21/OMakefile -------------------------------------------------------------------------------- /slide/2011-12-21/graph.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/slide/2011-12-21/graph.dot -------------------------------------------------------------------------------- /slide/2011-12-21/slide.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/slide/2011-12-21/slide.tex -------------------------------------------------------------------------------- /slide/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/slide/OMakefile -------------------------------------------------------------------------------- /src/OMakefile: -------------------------------------------------------------------------------- 1 | 2 | .SUBDIRS: ocaml 3 | 4 | -------------------------------------------------------------------------------- /src/ocaml/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/OMakefile -------------------------------------------------------------------------------- /src/ocaml/parametric-poly1/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly1/OMakefile -------------------------------------------------------------------------------- /src/ocaml/parametric-poly1/def.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly1/def.ml -------------------------------------------------------------------------------- /src/ocaml/parametric-poly1/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly1/infer.ml -------------------------------------------------------------------------------- /src/ocaml/parametric-poly1/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly1/lexer.mll -------------------------------------------------------------------------------- /src/ocaml/parametric-poly1/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly1/main.ml -------------------------------------------------------------------------------- /src/ocaml/parametric-poly1/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly1/parser.mly -------------------------------------------------------------------------------- /src/ocaml/parametric-poly2/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly2/OMakefile -------------------------------------------------------------------------------- /src/ocaml/parametric-poly2/def.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly2/def.ml -------------------------------------------------------------------------------- /src/ocaml/parametric-poly2/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly2/infer.ml -------------------------------------------------------------------------------- /src/ocaml/parametric-poly2/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly2/lexer.mll -------------------------------------------------------------------------------- /src/ocaml/parametric-poly2/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly2/main.ml -------------------------------------------------------------------------------- /src/ocaml/parametric-poly2/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/parametric-poly2/parser.mly -------------------------------------------------------------------------------- /src/ocaml/poly/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/poly/OMakefile -------------------------------------------------------------------------------- /src/ocaml/poly/def.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/poly/def.ml -------------------------------------------------------------------------------- /src/ocaml/poly/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/poly/infer.ml -------------------------------------------------------------------------------- /src/ocaml/poly/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/poly/lexer.mll -------------------------------------------------------------------------------- /src/ocaml/poly/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/poly/main.ml -------------------------------------------------------------------------------- /src/ocaml/poly/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/poly/parser.mly -------------------------------------------------------------------------------- /src/ocaml/stlc/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/stlc/OMakefile -------------------------------------------------------------------------------- /src/ocaml/stlc/def.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/stlc/def.ml -------------------------------------------------------------------------------- /src/ocaml/stlc/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/stlc/infer.ml -------------------------------------------------------------------------------- /src/ocaml/stlc/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/stlc/lexer.mll -------------------------------------------------------------------------------- /src/ocaml/stlc/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/stlc/main.ml -------------------------------------------------------------------------------- /src/ocaml/stlc/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pi8027/typeinfer/HEAD/src/ocaml/stlc/parser.mly --------------------------------------------------------------------------------