A Constructive Formalization of the Catch and Throw Mechanism

A Constructive Formalization of the Catch and Throw Mechanism Hiroshi Nakano 82-89 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#Nakano92