113 citations · 491 across the 32 of their papers we have counts for
1 paper · 1 filter
Lars Birkedal, Noah Torp-Smith, Hongseok Yang
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps…