Featured Item
A Family Of Syntactic Logical Relations For The Semantics Of Haskell-Like Languages
Johann, Patricia
Professor
Computer Science
ASU
Logical relations are a fundamental and powerful tool for reasoning about programs in languages with parametric polymorphism. Logical relations suitable for reasoning about observational behavior in p... View More 