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

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
xWed 21 May 06:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up