Explicit substitutions and higher-order syntax.

Neil Ghani, Tarmo Uustalu

Browse the full ICFP paper archive.