This is a work-in-progress stream-based type-checker for a stripped-down version of ML. The problem originated with Mezzo, where we needed to build a type-checker that performs backtracking, and at the same time keeps track of derivations.
This is a work-in-progress stream-based type-checker for a stripped-down version of ML. The problem originated with Mezzo, where we needed to build a type-checker that performs backtracking, and at the same time keeps track of derivations.