Good functors... are those preserving philosophy !
Diagrammes, Tome 22 (1989), pp. 15-29.
@article{DIA_1989__22__15_0,
     author = {Bernot, Gilles},
     title = {Good functors... are those preserving philosophy !},
     journal = {Diagrammes},
     pages = {15--29},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     year = {1989},
     zbl = {0703.68077},
     mrnumber = {1059268},
     language = {en},
     url = {http://www.numdam.org/item/DIA_1989__22__15_0/}
}
TY  - JOUR
AU  - Bernot, Gilles
TI  - Good functors... are those preserving philosophy !
JO  - Diagrammes
PY  - 1989
DA  - 1989///
SP  - 15
EP  - 29
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1989__22__15_0/
UR  - https://zbmath.org/?q=an%3A0703.68077
UR  - https://www.ams.org/mathscinet-getitem?mr=1059268
LA  - en
ID  - DIA_1989__22__15_0
ER  - 
Bernot, Gilles. Good functors... are those preserving philosophy !. Diagrammes, Tome 22 (1989), pp. 15-29. http://www.numdam.org/item/DIA_1989__22__15_0/

[ADJ 76] Goguen J., Thatcher J., Wagner E. : " An initial algebra approach to the specification, correctness, and implementation of abstract data types", Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978. Also : IBM Report RC 6487, Oct. 1976.

[ADJ 80] Ehrig H., Kreowski H., Thatcher J., Wagner J., Wright J. : " Parameterized data types in algebraic specification langages", Proc. 7th ICALP, July 1980. | Zbl 0456.68101

[BBC 86.a] Bernot G., Bidoit M., Choppy C. : " Abstract implementations and correctness proofs", Proc. 3rd STACS, January 1986, Springer-Verlag LNCS 210, January 1986. Also : LRI Report 250, Orsay, Dec. 1985. | MR 827740 | Zbl 0585.68025

[BBC 86b] Bernot G., Bidoit M., Choppy C. : " Abstract data types with exception handling : an initial approach based on a distinction between exceptions and errors", Theoretical Computer Science, Vol. 46, n° 1, p. 13-45, November 1986. | MR 868261 | Zbl 0603.68015

[Ber 86] Bernot G. : " Une sémantique algébrique pour une spécification différenciée des exceptions et des erreurs : application à l' implémentation et aux primitives de structuration des spécifications formelles", Thèse de troisième cycle, LRI, Université de Paris-Sud, Orsay, Février 1986.

[Bid 82] Bidoit M. : " Algebraic data types: structured specifications and fair presentations", Proc. AFCET Symposium on Mathematics for Computer Science, Paris, March 1982. | Zbl 0514.68025

[Bid 84] Bidoit M. : " Algebraic specification of exception handling by means of declarations and equations", Proc. 11th ICALP, Springer-Verlag LNCS 172, July 1984. | MR 784240 | Zbl 0553.68013

[BPW 82] Broy M., Pair C., Wirsing M. : " A systematic study of models of abstract data types", Theoretical Computer Sciences, p. 139-174, vol. 33, October 1984. | MR 767390 | Zbl 0552.68010

[BW 82] Broy M., Wirsing M. : " Partial abstract data types", Acta Informatica, Vol. 18-1, Nov, 1982.

[EKMP 80] Ehrig H., Kreowski H., Mahr B., Padawitz P. : " Algebraic implementation of abstract data types", Theoretical Computer Science, Oct. 1980. | Zbl 0483.68018

[EKP 80] Ehrig H., Kreowski H., Padawitz P. : " Algebraic implementation of abstract data types: concept, syntax, semantics and correctness", Proc. ICALP, Springer-Verlag LNCS 85, 1980. | MR 589000 | Zbl 0457.68019

[FGJM 85] Futatsugi K., Goguen J., Jouannaud J-P., Meseguer J. : " Principles of OBJ2", Proc. 12th ACM Symp. on Principle of Programming Languages, New Orleans, January 1985.

[Gau 78] Gaudel M-C. : " Spécifications incomplètes mais suffisantes de la représentation des types abstraits", Laboria Report 320, 1978.

[Gau 84]Gaudel M-C. : " A first introduction to PLUSS", LRI Report, Orsay, December 1984.

[GDLE 84] Gogolla M., Drosten K., Lipeck U., Ehrich H.D. : " Algebraic and operational semantics of specifications allowing exceptions and errors", Theoretical Computer Science 34, North Holland, 1984. | MR 773458 | Zbl 0553.68012

[GH 83] Guttag J.V., Horning J.J. : " An introduction to the LARCH shared language", Proc. IFIP 83, REA Mason ed., North Holland Publishing Company, 1983.

[Kam 80] Kamin S. : " Final data type specifications : a new data type specification method", Proc. of the 7th POPL Conference, 1980.

[SW 82] Sannella D., Wirsing M. : " Implementation of parameterized specifications", Report CSR-103-82, Department of Computer Science, University of Edinburgh.

[SW 83] Sannella D., Wirsing M. : " A kernel language for algebraic specification and implementation", Proc. Intl. Conf. on Foundations of computation Theory, Springer-Verlag, LNCS 158, 1983. | MR 734738 | Zbl 0517.68043

[Wir 82] Wirsing M. : " Structured algebraic specifications", Proc. of AFCET Symposium on Mathematics for Computer Science, Paris, March 1982. | Zbl 0514.68024