A higher-order abstract syntax approach to verified transformations on functional programs (Q2802499)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A higher-order abstract syntax approach to verified transformations on functional programs |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A higher-order abstract syntax approach to verified transformations on functional programs |
scientific article |
Statements
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (English)
0 references
26 April 2016
0 references
0 references
0 references
0.8261558413505554
0 references
0.7808553576469421
0 references
0.7727696299552917
0 references
0.7486476302146912
0 references
0.746202826499939
0 references
