Skip to content

Functional Programs: Conversions between Deep and Shallow Embeddings.

Magnus O. Myreen

VenueBITP
Year2012
ProceedingsITP

Browse the full ITP paper archive.