@misc
{Vesely97,
	author		= "Peter Vesely",
	title		= "Typechecking the {C}harity Term Logic",
	month		= apr,
	year		= 1997,
	note		= "(documentation, \mbox{\tt http://www.cpsc.ucalgary.ca/projects/charity/home.html})"
}

@misc
{Cockett96,
	author		= "Robin Cockett",
	title		= "Charitable Thoughts",
	year		= 1996,
	note		= "(draft lecture notes, \mbox{\tt http://www.cpsc.ucalgary.ca/projects/charity/home.html})"
}

@mastersthesis
{Tuckey97,
	author		= "Charles Tuckey",
	title		= "Pattern Matching in {C}harity",
	school		= "The University of Calgary",
	month		= jul,
	year		= 1997
}

@mastersthesis
{Schroeder97,
	author		= "Marc A. Schroeder",
	title		= "Higher-Order {C}harity",
	school		= "The University of Calgary",
	month		= jul,
	year		= 1997
}

@mastersthesis
{Vesely96,
	author		= "Peter M. Vesely",
	title		= "Categorical Combinators for {C}harity",
	school		= "The University of Calgary",
	month		= nov,
	year		= 1996
}

@manual
{FuTu96,
	author		= "Tom Fukushima and Charles Tuckey",
	title		= "{C}harity User Manual",
	month		= jan,
	year		= 1996,
	note		= "(draft, \mbox{\tt http://www.cpsc.ucalgary.ca/projects/charity/home.html})"
}

@mastersthesis
{Yee95,
	author		= "Dale Barry Yee",
	title		= "Implementing the {C}harity Abstract Machine",
	school		= "The University of Calgary",
	month		= sep,
	year		= 1995
}

@misc
{Tuckey94,
	author		= "Charles Tuckey",
	title		= "The Implementation of Pattern Matching in {C}harity",
	month		= apr,
	year		= 1994,
	note		= "Undergraduate honours thesis, Department of Computer Science, The University of Calgary"
}

@unpublished
{Cockett93,
	author		= "Robin Cockett",
	title		= "Examples of {C}harity Term Logic Proofs",
	month		= may,
	year		= 1993,
	note		= "ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/term_logic_proofs.ps"
}

@phdthesis
{Spencer93,
	author		= "Dwight L. Spencer",
	title		= "Categorical Programming with Functorial Strength",
	school		= "The Oregon Graduate Institute of Science and Technology",
	month		= jan,
	year		= 1993
}

@unpublished
{Hermann,
	author		= "Mike Hermann",
	title		= "A Lazy Graph Reduction Machine for {C}harity: {CH}arity {A}bstract {R}eduction {M}achine ({CHARM})",
	month		= jul,
	year		= 1992,
	note		= "(unfinished)"
}

@techreport
{CoFu92,
	author		= "Robin Cockett and Tom Fukushima",
	title		= "About {C}harity",
	institution	= "Department of Computer Science, The University of Calgary",
	month		= jun,
	year		= 1992,
	type		= "Yellow Series Report",
	number		= "No.\ 92/480/18"
}

@unpublished
{CoSp92II,
	author		= "Robin Cockett and Dwight Spencer",
	title		= "Strong Categorical Datatypes {II}: A term logic for categorical programming",
	month		= may,
	year		= 1992,
	note		= "(to appear)"
}

@inproceedings
{CoSp92,
	author		= "Robin Cockett and Dwight Spencer",
	title		= "Strong Categorical Datatypes {I}",
	booktitle	= "International Meeting on Category Theory 1991",
	year		= 1992,
	editor		= "R. A. G. Seely",
	publisher	= "AMS",
	series		= "Canadian Mathematical Society Proceedings"
}

@unpublished
{Cockett92,
	author		= "Robin Cockett",
	title		= "Distributive Logic",
	month		= october,
	year		= 1992,
	note		= "ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/DistLogic.ps"
}

@unpublished
{SimCoc92,
	author		= "Todd Simpson and Robin Cockett",
	title	= "Sequentializing Programs Defined by Pattern Matching",
	month		= july,
	year		= 1992,
	note		= "ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/PatMat.ps"
}

@article
{Cockett91,
	author		= "Robin Cockett",
	title		= "Introduction to Distributive Categories",
	journal		= "Math. Struct. in Comp. Science",
	year		= 1991,
	pages		= "1-20",
	note		= "ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/distributive.ps"
}