@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}, mrnumber = {1059268}, zbl = {0703.68077}, 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 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/ LA - en ID - DIA_1989__22__15_0 ER -
Bernot, Gilles. Good functors... are those preserving philosophy !. Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 15-29. http://www.numdam.org/item/DIA_1989__22__15_0/
[ADJ 76] 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] Parameterized data types in algebraic specification langages", Proc. 7th ICALP, July 1980. | Zbl
, , , , : "[BBC 86.a] Abstract implementations and correctness proofs", Proc. 3rd STACS, January 1986, Springer-Verlag LNCS 210, January 1986. Also : LRI Report 250, Orsay, Dec. 1985. | MR | Zbl
, , : "[BBC 86b] 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 | Zbl
, , : "[Ber 86] 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] Algebraic data types: structured specifications and fair presentations", Proc. AFCET Symposium on Mathematics for Computer Science, Paris, March 1982. | Zbl
: "[Bid 84] Algebraic specification of exception handling by means of declarations and equations", Proc. 11th ICALP, Springer-Verlag LNCS 172, July 1984. | MR | Zbl
: "[BPW 82] A systematic study of models of abstract data types", Theoretical Computer Sciences, p. 139-174, vol. 33, October 1984. | MR | Zbl
, , : "[BW 82] Partial abstract data types", Acta Informatica, Vol. 18-1, Nov, 1982.
, : "[EKMP 80] Algebraic implementation of abstract data types", Theoretical Computer Science, Oct. 1980. | Zbl
, , , : "[EKP 80] Algebraic implementation of abstract data types: concept, syntax, semantics and correctness", Proc. ICALP, Springer-Verlag LNCS 85, 1980. | MR | Zbl
, , : "[FGJM 85] Principles of OBJ2", Proc. 12th ACM Symp. on Principle of Programming Languages, New Orleans, January 1985.
, , , : "[Gau 78] Spécifications incomplètes mais suffisantes de la représentation des types abstraits", Laboria Report 320, 1978.
: "[Gau 84]A first introduction to PLUSS", LRI Report, Orsay, December 1984.
: "[GDLE 84] Algebraic and operational semantics of specifications allowing exceptions and errors", Theoretical Computer Science 34, North Holland, 1984. | MR | Zbl
, , , : "[GH 83] An introduction to the LARCH shared language", Proc. IFIP 83, REA Mason ed., North Holland Publishing Company, 1983.
, : "[Kam 80] Final data type specifications : a new data type specification method", Proc. of the 7th POPL Conference, 1980.
: "[SW 82] Implementation of parameterized specifications", Report CSR-103-82, Department of Computer Science, University of Edinburgh.
, : "[SW 83] A kernel language for algebraic specification and implementation", Proc. Intl. Conf. on Foundations of computation Theory, Springer-Verlag, LNCS 158, 1983. | MR | Zbl
, : "[Wir 82] Structured algebraic specifications", Proc. of AFCET Symposium on Mathematics for Computer Science, Paris, March 1982. | Zbl
: "