• Sign in
  • Sign up
conf.researchr.org / Colin Riba
  • ETAPS 2019 profile
  • ICFP 2017 profile
  • ICFP 2022 profile
No Photo

Not registered as user

Name:Colin Riba

Contributions

2022

HOPE

  • Author of Temporal refinements for Call-By-Push-Value with fixpoint within the HOPE 2022-track

2019

FOSSACS

  • Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the FOSSACS 2019-track

GaLoP

  • Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the GaLoP-track

2017

FSCD

  • Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track
Share
xMon 19 May 08:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up