PageName ▼	Summary + Labels ▼	Changed ▼	ChangedBy ▼	...
	MapReduce	An explanation of the Google MapReduce framework and simple implementation of a MapReduce algorithm.   CodeExample HaskellComparison	Feb 2010	cdiggins
	MetaCat	About the MetaCat extension to Cat.   Glossary	Feb 2010	cdiggins
	MetaCommand	About the interpreter meta-commands.   Glossary Usage	Feb 2010	cdiggins
	MetaData	About function meta-data.	Feb 2010	cdiggins
	Optimization	About using Cat for optimization.   Featured Usage	Feb 2010	cdiggins
	PartialEvaluation	About partial evaluation.   Glossary Usage	Feb 2010	cdiggins
	PointFreeForm	Definition of point-free form.   Glossary	Feb 2010	cdiggins
	Primitives	Explanation of the primitive functions and primitive types.   Glossary	Feb 2010	cdiggins
	Purity	Explanation of purity and impurity.   Glossary	Feb 2010	cdiggins
	Quadratic	Quadratic function code example.   CodeExample	Feb 2010	cdiggins
	Quotation	Definition of quotation.   Glossary CodeExample	Feb 2010	cdiggins
	Quote	Explanation of the quote primitive function.   Glossary Primitive	Feb 2010	cdiggins
	RPN	Definition of reverse polish notation a.k.a postfix notation.   Glossary	Feb 2010	cdiggins
	ReferentialTransparency	Definition of referential transparency.   Glossary	Feb 2010	cdiggins
	Related	Related languages and projects.   Featured	Feb 2010	cdiggins
	RussellsParadox	An explanation of Russell's Paradox.   Glossary	Feb 2010	cdiggins
	Semantics	A brief description of the core semantics of Cat.	Feb 2010	cdiggins
	ShufflingBasis	A minimal basis for rearranging the stack.   CodeExample Theory	Feb 2010	cdiggins
	SideEffect	Definition of side effect.   Glossary	Feb 2010	cdiggins
	StackLanguages	Definition of stack-based languages.   Glossary	Feb 2010	cdiggins
	StackUnderflow	Explanation of stack underflow and how a type-system prevents it.   Glossary	Feb 2010	cdiggins
	Support	About getting technical support for development of Cat.   Featured	Feb 2010	cdiggins
	TheUnfairBenchmarksPage	This is a page of unfair benchmark comparisons.	Feb 2010	cdiggins
	Thunk	Definition of thunks.   Glossary	Feb 2010	cdiggins
	Tutorial	A tutorial on the Cat language   Documentation	Feb 2010	cdiggins
	TypeAnnotation	Type annotations for functions.   Glossary	Feb 2010	cdiggins
	TypeInference	Explanation and usage of type inference.   Glossary Usage	Feb 2010	cdiggins
	TypeTheory	A brief introduction to and motivation for type theory.   Glossary	Feb 2010	cdiggins
	WhyNotDigN	Why isn't there a digN or buryN instruction?   FAQ Theory	Feb 2010	cdiggins
	flatten	Explains the flatten standard library function.   Library CodeExample Lists	Feb 2010	cdiggins
	pair	Explains the pair standard library function, and the pair type.   Library CodeExample Type	Feb 2010	cdiggins
	self_join	Explains the self_join standard library function.   Library	Feb 2010	cdiggins
	Acknowledgements	Acknowledgements   Featured	Feb 2010	cdiggins
	Advantages	A brief outline of the favourable characteristics of Cat   About	Feb 2010	cdiggins
	Arity	Definition of function arity.   Glossary	Feb 2010	cdiggins
	BrainStorming	A collection of thoughts and ideas.   Ideas	Feb 2010	cdiggins
	CIL	About the Common Intermediate Language (CIL or MSIL)   Glossary	Feb 2010	cdiggins
	Cat	The Cat wiki home page.   Featured	Feb 2010	cdiggins
	ChristopherDiggins	About Christopher Diggins   People	Feb 2010	cdiggins
	Compilation	About the Cat to CIL compiler.   Usage	Feb 2010	cdiggins
	ContributingToCat	Contributing to the Cat project.   Featured	Feb 2010	cdiggins
	Currying	Currying explanation and code example.   CodeExample Glossary	Feb 2010	cdiggins
	Expression	Definition of expression.   Glossary	Feb 2010	cdiggins
	Fibonacci	Fibonnaci function code example.   CodeExample	Feb 2010	cdiggins
	Function	Definition of a function.   Glossary	Feb 2010	cdiggins
	Functional	Definition of functional.   Glossary	Feb 2010	cdiggins
	GettingInvolved	How to get involved with Cat.   Project	Feb 2010	cdiggins
	HigherOrder	Definition of higher-order functions.   Glossary	Feb 2010	cdiggins
	HowTheInterpreterWorks	The Cat interpreter implementation in a nutshell.   Implementation	Feb 2010	cdiggins
	InlineExpansion	About inline expansion.   Usage Glossary	Feb 2010	cdiggins
	IntermediateLanguage	Definition and explanation of intermediate languages.   Glossary	Feb 2010	cdiggins
	InterpretingVsCompiling	Interpreting versus Compiling	Feb 2010	cdiggins
	Joy	Description of the Joy programming language.   Glossary	Feb 2010	cdiggins
	KindSystem	Definition of a kind system.   Glossary Theory	Feb 2010	cdiggins
	Level	Explanation of Cat implementation levels.   Glossary	Feb 2010	cdiggins
	Library	An explanation and copy of the standard library.	Feb 2010	cdiggins
	Licensing	About Cat licensing.   Featured	Feb 2010	cdiggins
	Macros	Using macros.   Usage	Feb 2010	cdiggins