The Role of Beta Conversion in Functional Programming. - Marek Mensík; Marie Duzí; Jakub Kermaschek (EJC, 2017)