Parametricity and Proving Free Theorems for Functional-Logic Languages (Q130869981)
Jump to navigation
Jump to search
scientific article published on 06 July 2015
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Parametricity and Proving Free Theorems for Functional-Logic Languages |
scientific article published on 06 July 2015 |
Statements
Parametricity and Proving Free Theorems for Functional-Logic Languages (English)
Stefan Mehner
Daniel Seidel
Lutz Straßburger
Janis Voigtländer
翻译：