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
Name:
Rudi Horn
Affiliation:
University of Edinburgh
Contributions
2020
Haskell
Author of Relational Lenses as a Library (Demo) within the Haskell 2020-track
2018
ICFP
Author of Incremental Relational Lenses within the Research Papers-track
POPL
Presenter of Modelling Microcontroller Hardware using Typestate within the Student Research Competition-track
2017
Incremental Computing
Author of Incremental Relational Lenses within the IC 2017-track
Share
x
Sun 22 Jun 19:02