2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Sylvain Lebresne
We present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an…