Replace this ﬁle with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1

First Page		Document Content
Date: 2007-09-24 17:27:04 Declarative programming Software engineering Lambda calculus Functional programming Physics Combinatory logic Logic in computer science Functional reactive programming Work Higher-order function Unfolding		Replace this ﬁle with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1 Add to Reading List Source URL: thev.net Download Document from Source Website File Size: 227,31 KB Share Document on Facebook

	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi DocID: 1rjEK - View Document
	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of DocID: 1rghj - View Document
	02157 Functional Programming - Tagged values and Higher-order list functions DocID: 1rahU - View Document
	Scala By Example June 11, 2014 Martin Odersky DocID: 1r8S2 - View Document
	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics DocID: 1qyED - View Document