charity-lang
Source code of two interpreters for the Charity language:
-
The original C implementation, by the Charity Development Group, dated 28 September 2000
-
An SML implementation, by Min Zeng, dated March 2003
Includes an archival version of the Charity website, all available literature, example programs, and binary releases of the original implementation.
Additional work
-
Gillian Posey’s Circuits package, dated 13 March 1997
-
Robin Cockett’s work on model checking, including:
- HML checker, dated 26 October 2000
- Modal Mu checker, dated 22 November 2000
- Circuit checker, dated 2 September 2001
Literature
- R. Cockett (1991) “Introduction to distributive categories”
- T. Fukushima (1991) “Charity user manual”
- R. Cockett, T. Fukushima (1992) “About Charity”
- R. Cockett (1992) “Distributive logic”
- R. Cockett, D. Spencer (1992) “Strong categorical datatypes I”
- R. Cockett, D. Spencer (1992) “Strong categorical datatypes II: A term logic for categorical programming”
- M. Hermann (1992) “A lazy graph reduction machine for Charity: Charity abstract reduction machine (CHARM)”
- T. Simpson, R. Cockett (1992) “Sequentializing programs defined by pattern matching”
- R. Cockett (1993) “Examples of Charity term logic proofs”
- M. Schroeder (1993) “Charity grammar”
- M. Schroeder (1993) “CHIRP: A front end for Charity”
- D. Spencer (1993) “Categorical programming with functorial strength”
- B. Yee (1993) “The CHARM project: A back end to the Charity interpreter”
- C. Tuckey (1994) “The implementation of pattern matching in Charity”
- B. Yee (1995) “Implementing the Charity abstract machine”
- R. Cockett (1996) “Charitable thoughts”
- T. Fukushima, C. Tuckey (1996) “Charity user manual” (final version)
- P. Vesely (1996) “Categorical combinators for Charity”
- M. Schroeder (1997) “Higher-order Charity”
- C. Tuckey (1997) “Pattern matching in Charity”
- P. Vesely (1997) “Typechecking the Charity term logic”
- M. Zeng (2003) “An implementation of Charity”
Additional literature
- R. Blute, R. Cockett, R. Seely, T. Trimble (1991) “Natural deduction and coherence for weakly distributive categories”
- R. Cockett, D. Spooner (1994) “SProc categorically”
- R. Cockett, D. Spooner (1995) “Categories for synchrony and asynchrony”
- R. Blute, R. Cockett, R. Seely, T. Trimble (1996) “Natural deduction and coherence for weakly distributive categories” (final version)
- R. Cockett, D. Spooner (1996) “Constructing process categories”
- R. Cockett, D. Spooner (1997) “Constructing process categories” (final version)
- R. Cockett, R. Seely (1997) “Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories”
- D. Spooner (1997) “Building process categories”
Related work
About
Packaged by Miëtek Bak.