Ilya Klyuchnikov. Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting. Preprint 62, Keldysh Institute of Applied Mathematics, Moscow, 2010.
@techreport{Klyuchnikov2010Hosc15,
title = {Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting},
author = {Ilya Klyuchnikov},
year = {2010},
tags = {programming languages, functional programming, language design, design},
researchr = {https://researchr.org/publication/Klyuchnikov2010Hosc15},
cites = {0},
citedby = {0},
institution = {Keldysh Institute of Applied Mathematics},
type = {Preprint},
number = {62},
address = {Moscow},
}