TY - GEN
AU - Jonsson, Peter A.
AU - Nordlander, Johan
TI - Positive Supercompilation for a Higher-Order Call-By-Value Language
PB - Centre pour la Communication Scientifique Directe (CCSD)
SN - 1860-5974
KW - General Computer Science
KW - Theoretical Computer Science
PY - 2010
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation