Sankalp Gambhir - ECOOP 2026

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Registered user since Wed 20 Jul 2022

Name:Sankalp Gambhir

Affiliation:Ecole Polytechnique Federale de Lausanne (EPFL)

Contributions

2026

Scala

Lisa: A Proof Assistant Embedded in Scala

Show activities from other conferences

ECOOP 2026-profile
View general profile