First Page | Document Content | |
---|---|---|
Date: 2007-09-24 17:27:04Declarative programming Software engineering Lambda calculus Functional programming Physics Combinatory logic Logic in computer science Functional reactive programming Work Higher-order function Unfolding | Replace this file 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 Hudak1Add to Reading ListSource URL: thev.netDownload Document from Source WebsiteFile Size: 227,31 KBShare Document on Facebook |
A brief introduction to Higher Order Logic and the HOL proof assistant Monica NesiDocID: 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 ofDocID: 1rghj - View Document | |
02157 Functional Programming - Tagged values and Higher-order list functionsDocID: 1rahU - View Document | |
Scala By Example June 11, 2014 Martin OderskyDocID: 1r8S2 - View Document | |
Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and InformaticsDocID: 1qyED - View Document |