Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034)
From MaRDI portal
scientific article; zbMATH DE number 5228023
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism |
scientific article; zbMATH DE number 5228023 |
Statements
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (English)
0 references
18 January 2008
0 references
fusion laws
0 references
iteration operators
0 references
