- Tytuł:
- The Impact of seq on Free Theorems-Based Program Transformations
- Autorzy:
-
Johann, P.
Voigtländer, J. - Data publikacji:
- 2006
- Słowa kluczowe:
-
Haskell
control primitives
correctness proofs
denotational semantics
functional programming languages
logical relations
mixing strict and nonstrict evaluation
parametricity
polymorphism
program transformation
rank - 2 types
short cut fusion
theorems for free - Pokaż więcej
- Dostawca treści:
- BazTech