Fixed-point combinator - 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

	Cartesian Closure for Stable Categories (draft) Paul Taylor DocID: 1rpTZ - View Document
	207 Documenta Math. Acyclicity Versus Total Acyclicity for Complexes over Noetherian Rings DocID: 1rozM - View Document
	ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007 DocID: 1rnm6 - View Document
	879 Documenta Math. Rectification of Algebras and Modules Vladimir Hinich DocID: 1rdIB - View Document
	193 Documenta Math. On the Structure of Calabi-Yau Categories with a Cluster Tilting Subcategory DocID: 1r84m - View Document