First Page | Document Content | |
---|---|---|
![]() Date: 2010-10-22 08:04:54Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition | Add to Reading List |
![]() | The Julia Express Bogumił Kaminski ´ January 4, 2015 ContentsDocID: 1rtHJ - View Document |
![]() | Project 5 - The Meta-Circular EvaluatorDocID: 1rtvP - View Document |
![]() | Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEYDocID: 1rf2e - View Document |
![]() | Microsoft PowerPoint - Lect02Scheme.pptDocID: 1reMy - View Document |
![]() | PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaDocID: 1rduU - View Document |