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 |
