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

First Page		Document Content
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

	HMFEv - An Eﬃcient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1 National Institute for Standards and Technology, Gaithersburg, MD, USA DocID: 1xVxV - View Document
	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT DocID: 1xVfP - View Document
	A More Secure and Efficacious TTS Signature Scheme Jiun-Ming Chen and Bo-Yin Yang DocID: 1xV6f - View Document
	NET ASSET VALUE (€) - LOCALLY-BASED COLLECTIVE INVESTMENT SCHEMES JUNE 2015 Scheme Name Sub-Fund Name DocID: 1xUOy - View Document
	Lecture 8, Thurs Feb 9: More on Quantum Money, BB84 QKD Guest Lecture by Supartha Podder Continuation of Quantum Money Last time we discussed how classical money is copyable and described a scheme for making money uncopy DocID: 1xUoL - View Document