Semantics of separation-logic typing and higher-order frame rules (2005)

by Lars Birkedal , Noah Torp-smith
Venue:In Symposium on Logic in Computer Science, LICS’05
Citations:58 - 17 self