The Role of Beta Conversion in Functional Programming.

Marek Mensk, Marie Duz, Jakub Kermaschek

Browse the full EJC paper archive.