Étude du typage dans le système de calcul scientifique Aldor
Diagrammes, Tome 42 (1999), pp. 3-113 
@article{DIA_1999__42__3_0,
     author = {Touratier, E.},
     title = {\'Etude du typage dans le syst\`eme de calcul scientifique {Aldor}},
     journal = {Diagrammes},
     pages = {3--113},
     year = {1999},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {42},
     mrnumber = {2097346},
     language = {fr},
     url = {https://www.numdam.org/item/DIA_1999__42__3_0/}
}
TY  - JOUR
AU  - Touratier, E.
TI  - Étude du typage dans le système de calcul scientifique Aldor
JO  - Diagrammes
PY  - 1999
SP  - 3
EP  - 113
VL  - 42
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - https://www.numdam.org/item/DIA_1999__42__3_0/
LA  - fr
ID  - DIA_1999__42__3_0
ER  - 
%0 Journal Article
%A Touratier, E.
%T Étude du typage dans le système de calcul scientifique Aldor
%J Diagrammes
%D 1999
%P 3-113
%V 42
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U https://www.numdam.org/item/DIA_1999__42__3_0/
%G fr
%F DIA_1999__42__3_0
Touratier, E. Étude du typage dans le système de calcul scientifique Aldor. Diagrammes, Tome 42 (1999), pp. 3-113. https://www.numdam.org/item/DIA_1999__42__3_0/

[1] P. Ageron. Sémantique catégorique des types : comprendre le système F, Diagrammes 19 ( 1988) | Zbl | MR | Numdam

[2] M. Barr, C. Wells. Categories theory for computing Science, Prentice Hall ( 1990) | Zbl | MR

[3] D. Bert, R. Echahed, P. Jacquet, M.L. Potet, J.C. Reynaud. Spécification, Généricité, Prototypage : Aspects du langage LPG, Technique et Science Informatiques, TSI ( 1995) 9(14) 1097-1129

[4] L. Coppey, C. Lair. Leçons de théorie des esquisses (I), Diagrammes 12 ( 1984) | Zbl | MR | Numdam

[5] L. Coppey, C. Lair. Leçons de théorie des esquisses (II), Diagrammes 19 ( 1988) | Zbl | MR | Numdam

[6] D. Duval, J.C. Reynaud. Sketches and Computation I : basic definitions and static evaluation, Math. Struct. in Comp. Science, Cambridge University Press ( 1994) vol 4 185-238 | Zbl | MR

[7] D. Duval, J.C. Reynaud. Sketches and Computation II : dynamic evaluation and applications, Math. Struct. in Comp. Science, Cambridge University Press ( 1994) vol 4 239-271 | Zbl | MR

[8] C. Ehresmann. Esquisses et types de structures algébriques, Bulletin de l'Institut Polytechnique, Iasi 14 ( 1968) | Zbl | MR

[9] J.A. Goguen, J.W. Thatcher, E.G. Wagner. An initial algebra approach to the specification, correctness, and implementation of abstract data types, Current Trends in Programming Methodology, Vol. IV : Data Structuring, R.T. Yeh ed., Prentice Hall ( 1978) 80-149

[10] R. Guitart, C. Lair. Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 ( 1980) | Zbl | MR | Numdam

[11] R. Guitart, C. Lair. Limites et colimites pour représenter les formules, Diagrammes 7 ( 1982) | Zbl | Numdam

[12] Hudak, Jones, Wadler. Report on the programming language Haskell : a non-strict, purely functional language, ACM SIGPLAN Notices ( 1992) 27(5)

[13] R. Jenks, R. Sutor. AXIOM The Scientific Computation System, Springer ( 1992) | Zbl | MR

[14] J.L. Krivine. Lambda-calcul : types et modèles, ERI Masson ( 1990) | Zbl | MR

[15] R. Lalement. Logique, réduction, résolution, ERI Masson ( 1990) | Zbl

[16] S. Mac Lane. Categories for the working mathematician, Springer ( 1971) | Zbl | MR

[17] S.K. Lellahi. Categorical abstract data types, Diagrammes 21 ( 1989) | Zbl | MR | Numdam

[18] Milner. A proposal for Standard ML, Proc. of the Symposium on Lisp anf Functional Programming, ACM ( 1984) 184-197

[19] S. Watt, R. Sutor, P. Broadbery, S. Dooley, P. Iglio, S. Morrison, J. Steinbach. AXIOM Library Compiler - User Guide, IBM Thomas J.Watson Research Center, The Numerical Algorithms Group Limited