Semantics and Pragmatics of New Shortcut Fusion Rules - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Janis Voigtländer. Semantics and Pragmatics of New Shortcut Fusion Rules. In Jacques Garrigue, Manuel V. Hermenegildo, editors, Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Volume 4989 of Lecture Notes in Computer Science, pages 163-179, Springer, 2008. [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]

runs on WebDSL