BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rowe:Reuben_N=_S=

Contributed to:

TLCA 20112011
CSL 20182018
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.