DMCA

Categorical programming for data types with restricted parametricity. Manuscript, submitted to Post-Proc

Cached

Download Links

by Dominic Orchard , Alan Mycroft
Venue:of TFP
Citations:1 - 0 self