Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kasper Svendsen
conf.researchr.org general profile
ESOP 2015 profile
ICFP 2016 profile
POPL 2017 profile
Not registered as user
Name:
Kasper Svendsen
Affiliation:
Aarhus University
Contributions
2017
POPL
Author of A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation Logic within the POPL-track
2016
HOPE
Author of A Logical Account of a Type-and-Effect System within the HOPE-track
2015
ESOP
Author of A Separation Logic for Fictional Sequential Consistency within the ESOP-track
Share
x
Sat 21 Dec 19:53