Hira Taqdees Syeda - DLS 2020

Sun 15 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Registered user since Mon 14 Jun 2021

Name:Hira Taqdees Syeda

Affiliation:Chalmers University of Technology

Contributions

2020

SPLASH

Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs

Show activities from other conferences

SPLASH 2020-profile
View general profile