Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Patricia Johann, Janis Voigtländer. A family of syntactic logical relations for the semantics of Haskell-like languages. Inf. Comput., 207(2):341-368, 2009. [doi]
Similar PublicationsThe following publications are related publications by (some of) the same authors, but are not direct variants of this publication.Selective strictness and parametricity in structural operational semantics, inequationallyJanis Voigtländer, Patricia Johann. TCS, 388(1-3):290-318, 2007. [doi]
The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.