Big-step normalisation
ALTENKIRCH, THORSTEN, CHAPMAN, JAMESVolume:
19
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796809007278
Date:
July, 2009
File:
PDF, 166 KB
english, 2009