Code Generation via Higher-Order Rewrite Systems (Q3558332)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Code Generation via Higher-Order Rewrite Systems |
scientific article |
Statements
Code Generation via Higher-Order Rewrite Systems (English)
0 references
4 May 2010
0 references