• Sign in
  • Sign up
conf.researchr.org / Yoav Seginer
  • POPL 2022 profile
  • SPLASH 2018 profile

Registered user since Thu 30 Aug 2018

Name:Yoav Seginer
Affiliation:cdl-lang.org, Netherlands

Contributions

2022

CPP

  • Author of A verified algebraic representation of Cairo program execution within the CPP 2022-track

2018

DLS

  • Author of Query-Based Object-Oriented Programming: A Declarative Web of Objects within the DLS 2018-track
Share
xSat 12 Jul 02:48
using conf.researchr.org (v1.69.1)
Support page
Sign Up