Type and Effect System for Multi-staged Exceptions.

Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi

Browse the full APLAS paper archive.