J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Generic Accumulations - Pardo (2002) (5 citations) (Correct)
....available to define recursive functions with constant parameters, for example, in a traditional language without higher order. To define pfold it is sufficient to assume that the initial algebra is strongly initial [10] or initial with parameters) giving rise to the so called strong datatypes [9]. Next we briefly review the concept of strong initiality and the definition of pfold. Let us fix an object X. We call an arrow of type A Theta X B, for arbitrary A and B, an X action. Composition of two X actions f : B Theta X C and g : A Theta X B is given by f ffl g = f ffi hg; 2 i. ....
R. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, June 1992.
On Impartiality - Benson (Correct)
....diagram oe oe A 0 C 0 A 1 C 1 . B 0 B 1 f 0 f 1 g 0 g 1 c a b (1) 2) whenever the lower row is a coproduct, B 1 = A 1 C 1 via the injections f 1 ; g 1 , squares (1) and (2) are pullbacks if and only if the top row is a coproduct, B 0 = A 0 C 0 via the injections f 0 ; g 0 . In [CF91, CLW92] it is noted that an extensive category with products satisfies the distributive law of products over coproducts. Also, every topos is an extensive category as are finitely complete cartesian closed categories (with inhabited nonempty types) and formal categories of datatypes. From the ....
R. Cockett and T. Fukushima, About Charity, Draft, University of Calgary, 1991.
The Constructor Calculus - Jay (2003) (Correct)
No context found.
J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992.
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
No context found.
J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992.
Functorial Lambda-Calculus - Jay School Of (Correct)
No context found.
J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992.
The Pattern Calculus - Jay (2003) (1 citation) (Correct)
No context found.
J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992. 26
Unifying ADT-- and Evolving Algebra Specifications - Horst Reichel Institut (1996) (3 citations) (Correct)
No context found.
J.R.B.Cockett and T.Fukushima. About Charity. Technical report, University of Calgary, 1992.
The Pattern Calculus - Jay (2003) (1 citation) (Correct)
No context found.
J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992. 26
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
No context found.
J.R.B. Cockett and T. Fukushima. About Charity. Technical Report 92/480/18, University of Calgary, 1992.
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
No context found.
R. Cockett, T. Fukushima, About Charity, Report, University of Calgary 1992
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC