Reuben N. S. Rowe

Registered user since Wed 12 Jul 2017

Name:Reuben N. S. Rowe

BA Cambridge University (Fitzwilliam) 2001-2004 MSc/PhD Imperial College London, 2007-2012 Teaching Fellow, Imperial College London, 2012-2014 Postdoc, University College London, 2014-2016 Postdoc, University of Kent, 2016-2019 Lecturer, Royal Holloway, 2019-

Country:United Kingdom
Affiliation:University of Kent
Research interests:Semantics, Types, Proof Theory, Cyclic Proof, Refactoring, Functional Programming, OCaml


SPLASH 2021 Author of Cyclic Program Synthesis within the SIGPLAN Papers-track
PLDI 2021 Author of Cyclic Program Synthesis within the PLDI-track
PLDI 2019 Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track
OCaml 2017 Author of ROTOR: First Steps Towards a Refactoring Tool for OCaml within the OCaml 2017-track