Editors | |
G. Ausiello,
D. Sannella |
Publisher: | | Elsevier B.V. |
Address: | | Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis |
|
Keywords: | |
clean,
haskell,
extensionality principles,
fixpoint recursion,
functional programming languages,
identity extension,
lambda calculus,
logical relations,
mixing strict and nonstrict semantics,
parametric polymorphism,
program transformations,
,
short cut fusion,
theorems for free,
types |
|
URL: | |
http://www.sciencedirect.com/science/article/B6V1G-4PPW77G-1/2/c5480418b8e83af13cb37d3576861b96
|
|
| |
|