Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yoav Seginer
conf.researchr.org general profile
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
x
Sat 12 Jul 02:48