TY  - RPRT
TI  - Towards Tree Automata-based Success Types
AU  - Robert Jakob
AU  - Peter Thiemann
PY  - 2013
UR  - https://arxiv.org/abs/1306.5061
ID  - 1306.5061
ER  -