ct-gradual-typing/Papers

Implement the evaluator

Closed this issue · 0 comments

heades commented

The evaluator is next up for implementation. The rules can be found in the paper. See Figure 7 captioned "Reduction rules for Grady."