Bidirectionalization for free! (Pearl) (Q5261515)
From MaRDI portal
scientific article; zbMATH DE number 6455610
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bidirectionalization for free! (Pearl) |
scientific article; zbMATH DE number 6455610 |
Statements
Bidirectionalization for free! (Pearl) (English)
0 references
3 July 2015
0 references
bidirectionalization
0 references
free theorems
0 references
generic programming
0 references
Haskell
0 references
program transformation
0 references
relational parametricity
0 references
view-update problem
0 references
