Lambda point - Document - PDFSEARCH.IO

First Page		Document Content
Computer programming Adjoint functors Lambda calculus Monad Type theory Combinator library Option type Fixed-point combinator LL parser Declarative programming Software engineering Functional programming		Add to Reading List Source URL: pdn.sciencedirect.com Download Document from Source Website Share Document on Facebook

	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ DocID: 1qLWC - View Document
	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University DocID: 1pcZU - View Document
	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract DocID: 1oZ9H - View Document
	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 DocID: 1oNH7 - View Document
	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN DocID: 1oCsT - View Document