Yoav Seginer -

Registered user since Thu 30 Aug 2018

Name:Yoav Seginer

Affiliation:cdl-lang.org, Netherlands

Contributions

CPP 2022	Author of A verified algebraic representation of Cairo program execution within the CPP 2022-track
DLS 2018	Author of Query-Based Object-Oriented Programming: A Declarative Web of Objects within the DLS 2018-track