NC DOCKS

Search Repository    

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