Janis Voigtländer, Patricia Johann. Selective strictness and parametricity in structural operational semantics, inequationally. Theoretical Computer Science, 388(1-3):290-318, 2007. [doi]
@article{VJ07:1,
title = {Selective strictness and parametricity in structural operational semantics, inequationally},
author = {Janis Voigtländer and Patricia Johann},
year = {2007},
doi = {10.1016/j.tcs.2007.09.014},
url = {http://dx.doi.org/10.1016/j.tcs.2007.09.014},
tags = {programming languages, semantics, program analysis, completeness, formal semantics, structural operational semantics, functional programming, analysis, Haskell, algebra, operational semantics},
researchr = {https://researchr.org/publication/VJ07%3A1},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {388},
number = {1-3},
pages = {290-318},
}