tapl-scala

tapl-scala copied to clipboard

ilya-klyuchnikov

parser in antlr

1

This will allow to easily port TAPL into all other languages supported by antlr

ilya-klyuchnikov

Re-arrange, re-structure all the examples in such a way, that different type-checkers are easily comparable. Solution: introduce some canonical way in which case classes, clauses are ordered. Baseline: start from...

ilya-klyuchnikov

PTS (pure type systems)

1

For educational purposes it is good to have just PTSs. Ideally, I would like to have the whole lambda cube.

ilya-klyuchnikov

It would be good to display as much information as possible in an interpreter.

ilya-klyuchnikov

ilya-klyuchnikov

Using `\` instead of `lambda` allows to write more concise example.

ilya-klyuchnikov