Travelled to:
1 × India
Collaborated with:
J.Hage
Talks about:
except (2) imprecis (1) function (1) languag (1) analysi (1) strict (1) semant (1) higher (1) order (1) type (1)
Person: Ruud Koot
DBLP: Koot:Ruud
Contributed to:
Wrote 1 papers:
- PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system
- Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.