Travelled to:1 × Serbia
Collaborated with:S.v.Bakel L.C.0001 H.Férée S.J.Thompson S.Owens
Talks about:characteris (1) implement (1) approxim (1) uniform (1) transit (1) program (1) infinit (1) express (1) descent (1) within (1)
Person: Reuben N. S. Rowe
DBLP: Rowe:Reuben_N=_S=
Contributed to:
2011
2018
2019Wrote 3 papers:
- TLCA-2011-RoweB #approximate #object-oriented #programming #semantics
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (RNSR, SvB), pp. 229–244.
- CSL-2018-0001R #induction #infinity #logic #reasoning #transitive
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (LC0, RNSR), p. 16.
- PLDI-2019-RoweFTO #implementation #ml
- Characterising renaming within OCaml's module system: theory and implementation (RNSR, HF, SJT, SO), pp. 950–965.