YALE: Yet Another Lambda Evaluator Based on Interaction Nets.

Ian Mackie

Browse the full ICFP paper archive.