├── .gitignore ├── LICENCE ├── README.md ├── algorithm_w ├── README.md ├── core.ml ├── expr.ml ├── infer.ml ├── lexer.mll ├── make ├── parser.mly ├── test.ml ├── test_infer.ml ├── test_lexer.ml └── test_parser.ml ├── extensible_rows ├── README.md ├── core.ml ├── expr.ml ├── infer.ml ├── lexer.mll ├── make ├── parser.mly ├── test.ml ├── test_infer.ml ├── test_lexer.ml └── test_parser.ml ├── extensible_rows2 ├── README.md ├── core.ml ├── expr.ml ├── infer.ml ├── lexer.mll ├── make ├── parser.mly ├── test.ml ├── test_infer.ml ├── test_lexer.ml └── test_parser.ml ├── first_class_polymorphism ├── README.md ├── core.ml ├── expr.ml ├── infer.ml ├── lexer.mll ├── make ├── parser.mly ├── propagate.ml ├── test.ml ├── test_infer.ml ├── test_lexer.ml ├── test_parser.ml └── test_propagate.ml ├── gradual_typing ├── README.md ├── core.ml ├── expr.ml ├── infer.ml ├── lexer.mll ├── make ├── parser.mly ├── test.ml ├── test_infer.ml ├── test_lexer.ml └── test_parser.ml └── refined_types ├── README.md ├── core.ml ├── expr.ml ├── infer.ml ├── lexer.mll ├── make ├── parser.mly ├── printing.ml ├── refined.ml ├── smt.ml ├── test.ml ├── test_infer.ml ├── test_lexer.ml ├── test_parser.ml └── test_refined.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/LICENCE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/README.md -------------------------------------------------------------------------------- /algorithm_w/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/README.md -------------------------------------------------------------------------------- /algorithm_w/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/core.ml -------------------------------------------------------------------------------- /algorithm_w/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/expr.ml -------------------------------------------------------------------------------- /algorithm_w/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/infer.ml -------------------------------------------------------------------------------- /algorithm_w/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/lexer.mll -------------------------------------------------------------------------------- /algorithm_w/make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/make -------------------------------------------------------------------------------- /algorithm_w/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/parser.mly -------------------------------------------------------------------------------- /algorithm_w/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/test.ml -------------------------------------------------------------------------------- /algorithm_w/test_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/test_infer.ml -------------------------------------------------------------------------------- /algorithm_w/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/test_lexer.ml -------------------------------------------------------------------------------- /algorithm_w/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/algorithm_w/test_parser.ml -------------------------------------------------------------------------------- /extensible_rows/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/README.md -------------------------------------------------------------------------------- /extensible_rows/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/core.ml -------------------------------------------------------------------------------- /extensible_rows/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/expr.ml -------------------------------------------------------------------------------- /extensible_rows/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/infer.ml -------------------------------------------------------------------------------- /extensible_rows/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/lexer.mll -------------------------------------------------------------------------------- /extensible_rows/make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/make -------------------------------------------------------------------------------- /extensible_rows/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/parser.mly -------------------------------------------------------------------------------- /extensible_rows/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/test.ml -------------------------------------------------------------------------------- /extensible_rows/test_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/test_infer.ml -------------------------------------------------------------------------------- /extensible_rows/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/test_lexer.ml -------------------------------------------------------------------------------- /extensible_rows/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows/test_parser.ml -------------------------------------------------------------------------------- /extensible_rows2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/README.md -------------------------------------------------------------------------------- /extensible_rows2/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/core.ml -------------------------------------------------------------------------------- /extensible_rows2/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/expr.ml -------------------------------------------------------------------------------- /extensible_rows2/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/infer.ml -------------------------------------------------------------------------------- /extensible_rows2/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/lexer.mll -------------------------------------------------------------------------------- /extensible_rows2/make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/make -------------------------------------------------------------------------------- /extensible_rows2/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/parser.mly -------------------------------------------------------------------------------- /extensible_rows2/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/test.ml -------------------------------------------------------------------------------- /extensible_rows2/test_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/test_infer.ml -------------------------------------------------------------------------------- /extensible_rows2/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/test_lexer.ml -------------------------------------------------------------------------------- /extensible_rows2/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/extensible_rows2/test_parser.ml -------------------------------------------------------------------------------- /first_class_polymorphism/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/README.md -------------------------------------------------------------------------------- /first_class_polymorphism/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/core.ml -------------------------------------------------------------------------------- /first_class_polymorphism/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/expr.ml -------------------------------------------------------------------------------- /first_class_polymorphism/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/infer.ml -------------------------------------------------------------------------------- /first_class_polymorphism/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/lexer.mll -------------------------------------------------------------------------------- /first_class_polymorphism/make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/make -------------------------------------------------------------------------------- /first_class_polymorphism/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/parser.mly -------------------------------------------------------------------------------- /first_class_polymorphism/propagate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/propagate.ml -------------------------------------------------------------------------------- /first_class_polymorphism/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/test.ml -------------------------------------------------------------------------------- /first_class_polymorphism/test_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/test_infer.ml -------------------------------------------------------------------------------- /first_class_polymorphism/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/test_lexer.ml -------------------------------------------------------------------------------- /first_class_polymorphism/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/test_parser.ml -------------------------------------------------------------------------------- /first_class_polymorphism/test_propagate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/first_class_polymorphism/test_propagate.ml -------------------------------------------------------------------------------- /gradual_typing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/README.md -------------------------------------------------------------------------------- /gradual_typing/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/core.ml -------------------------------------------------------------------------------- /gradual_typing/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/expr.ml -------------------------------------------------------------------------------- /gradual_typing/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/infer.ml -------------------------------------------------------------------------------- /gradual_typing/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/lexer.mll -------------------------------------------------------------------------------- /gradual_typing/make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/make -------------------------------------------------------------------------------- /gradual_typing/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/parser.mly -------------------------------------------------------------------------------- /gradual_typing/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/test.ml -------------------------------------------------------------------------------- /gradual_typing/test_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/test_infer.ml -------------------------------------------------------------------------------- /gradual_typing/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/test_lexer.ml -------------------------------------------------------------------------------- /gradual_typing/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/gradual_typing/test_parser.ml -------------------------------------------------------------------------------- /refined_types/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/README.md -------------------------------------------------------------------------------- /refined_types/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/core.ml -------------------------------------------------------------------------------- /refined_types/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/expr.ml -------------------------------------------------------------------------------- /refined_types/infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/infer.ml -------------------------------------------------------------------------------- /refined_types/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/lexer.mll -------------------------------------------------------------------------------- /refined_types/make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/make -------------------------------------------------------------------------------- /refined_types/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/parser.mly -------------------------------------------------------------------------------- /refined_types/printing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/printing.ml -------------------------------------------------------------------------------- /refined_types/refined.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/refined.ml -------------------------------------------------------------------------------- /refined_types/smt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/smt.ml -------------------------------------------------------------------------------- /refined_types/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/test.ml -------------------------------------------------------------------------------- /refined_types/test_infer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/test_infer.ml -------------------------------------------------------------------------------- /refined_types/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/test_lexer.ml -------------------------------------------------------------------------------- /refined_types/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/test_parser.ml -------------------------------------------------------------------------------- /refined_types/test_refined.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tomprimozic/type-systems/HEAD/refined_types/test_refined.ml --------------------------------------------------------------------------------