mrsc icon indicating copy to clipboard operation
mrsc copied to clipboard

Published 20 hours ago • verified publisher icon ilya-klyuchnikov

Simple language: lambda calculus with recursion

Open ilya-klyuchnikov opened this issue 12 years ago • 0 comments

It should be extremely interesting to transform functional program with recursion and pattern matching into lambda calculus, supercompile it and then translate it back.

See two papers:

  • Efficient Interpretation by Transforming Data Types and Patterns to Functions
  • Comprehensive Encoding of Data Types and Algorithms in the λ-Calculus

ilya-klyuchnikov avatar Aug 26 '11 02:08 ilya-klyuchnikov