A family of syntactic logical relations for the semantics of Haskell-like languages (2009)

by Patricia Johann , Janis Voigtländer
Venue:INFORMATION AND COMPUTATION
Citations:5 - 3 self

Document Versions

A family of syntactic logical relations for the semantics of Haskell-like languages –Patricia Johann, Janis Voigtländer — 2009 — INFORMATION AND COMPUTATION
A family of syntactic logical relations for the semantics of Haskell-like languages –Patricia Johann, Janis Voigtländer — 2009 — INFORMATION AND COMPUTATION