Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rudi Horn
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2020 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
Not registered as user yet
Name:
Rudi Horn
Affiliation:
University of Edinburgh
Contributions
Haskell 2020
Author of Relational Lenses as a Library (Demo) within the Haskell 2020-track
ICFP 2018
Author of Incremental Relational Lenses within the Research Papers-track
IC 2017
Author of Incremental Relational Lenses within the IC 2017-track
POPL 2018
Presenter of Modelling Microcontroller Hardware using Typestate within the Student Research Competition-track
Share
x
Thu 16 Sep 16:58