<--- Back to Details
First PageDocument Content
Lambda calculus / Subroutines / Functional programming / Computability theory / Theoretical computer science / Higher-order abstract syntax / Anonymous function / Scheme / Fixed-point combinator / Combinatory logic / Eval / Hygienic macro
Date: 2009-07-12 22:21:53
Lambda calculus
Subroutines
Functional programming
Computability theory
Theoretical computer science
Higher-order abstract syntax
Anonymous function
Scheme
Fixed-point combinator
Combinatory logic
Eval
Hygienic macro

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Add to Reading List

Source URL: barzilay.org

Download Document from Source Website

File Size: 136,99 KB

Share Document on Facebook

Similar Documents

Forth Day: Green Arrays, Inc.  Greg Bailey – Intro: The State of Green Arrays  Stefan Mauerhofer – Eval Board Application: Low Frequency Clock and UART

Forth Day: Green Arrays, Inc.  Greg Bailey – Intro: The State of Green Arrays  Stefan Mauerhofer – Eval Board Application: Low Frequency Clock and UART

DocID: 1xVPy - View Document

GreenArrays  ™ AN004 Getting Started with Eval Board EVB001

GreenArrays ™ AN004 Getting Started with Eval Board EVB001

DocID: 1xUUv - View Document

PDF Document

DocID: 1xJFy - View Document

PDF Document

DocID: 1xyTw - View Document

PDF Document

DocID: 1xmj7 - View Document