79 citations · 353 across the 23 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.LO2006★ 12 cited
Linear Abadi and Plotkin Logic
Lars Birkedal, Rasmus E. Møgelberg, Rasmus Lerchedahl Petersen
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, followi…
cs.LO2006★ 32 cited
Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages
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…