Index: 

The CHARITY Home Page
Latest News
Frequently Asked Questions
License Conditions
Download The Charity System
Example Programs
The Charity Literature
Registration
Contacting The Charity Development Group
Background Information

The Charity Literature

The complete Charity bibliography (BibTeX).

All documents are available in postscript (.ps) and compressed postscript (.ps.gz) formats.

Manuals

• The Charity System User Manual (.ps) , (.ps.gz)

  @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})"
  }
  

Papers and Reports

• Typechecking the Charity Term Logic (.ps) , (.ps.gz)

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

• Charitable Thoughts (.ps) , (.ps.gz)

  @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})"
  }
  

• About Charity (.ps) , (.ps.gz)

  @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"
  }
  

• Strong Categorical Datatypes I (.ps) , (.ps.gz)

  @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"
  }
  

• Strong Categorical Datatypes II: A term logic for categorical programming (.ps) , (.ps.gz)

  @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)"
  }
  

Theses

• An Implementation of Charity (.ps) (.pdf)

• Pattern Matching in Charity (.ps) , (.ps.gz)

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

• Higher-Order Charity (.ps) , (.ps.gz)

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

• Categorical Combinators for Charity (.ps) , (.ps.gz)

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

• Implementing the Charity Abstract Machine (.ps) , (.ps.gz)

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

• The Implementation of Pattern Matching in Charity (old) (.ps) , (.ps.gz)

  @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"
  }
  

• Categorical Programming with Functorial Strength (.ps) , (.ps.gz)

  @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
  }