Open AccessSupercompilation: homeomorphic embedding, call-by-name, partial evaluation
Author(s) -
Sergei A. Romanenko
Publication year - 2018
Publication title -
preprint/preprinty ipm im. m.v. keldyša
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2071-2901
pISSN - 2071-2898
DOI - 10.20948/prepr-2018-209
Subject(s) - embedding , mathematics , computer science , artificial intelligence