Parametricity for Haskell with Imprecise Error Semantics - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Florian Stenger, Janis Voigtländer. Parametricity for Haskell with Imprecise Error Semantics. In Pierre-Louis Curien, editor, Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Volume 5608 of Lecture Notes in Computer Science, pages 294-308, Springer, 2009. [doi]

The 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]
A family of syntactic logical relations for the semantics of Haskell-like languagesPatricia Johann, Janis Voigtländer. iandc, 207(2):341-368, 2009. [doi]

runs on WebDSL