Scott encoding
Memory format compiling with continuations lambda calculus Executable and Linkable Format (ELF)