Étude du typage dans le système de calcul scientifique Aldor

E. Touratier

Diagrammes (1999)

  • Volume: 42, page 3-113
  • ISSN: 0224-3911

How to cite

top

Touratier, E.. "Étude du typage dans le système de calcul scientifique Aldor." Diagrammes 42 (1999): 3-113. <http://eudml.org/doc/193064>.

@article{Touratier1999,
author = {Touratier, E.},
journal = {Diagrammes},
language = {fre},
pages = {3-113},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Étude du typage dans le système de calcul scientifique Aldor},
url = {http://eudml.org/doc/193064},
volume = {42},
year = {1999},
}

TY - JOUR
AU - Touratier, E.
TI - Étude du typage dans le système de calcul scientifique Aldor
JO - Diagrammes
PY - 1999
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 42
SP - 3
EP - 113
LA - fre
UR - http://eudml.org/doc/193064
ER -

References

top
  1. [1] P. Ageron. Sémantique catégorique des types : comprendre le système F, Diagrammes 19 ( 1988) Zbl0672.03049MR976067
  2. [2] M. Barr, C. Wells. Categories theory for computing Science, Prentice Hall ( 1990) Zbl0714.18001MR1094561
  3. [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. [4] L. Coppey, C. Lair. Leçons de théorie des esquisses (I), Diagrammes 12 ( 1984) Zbl0562.18002MR800501
  5. [5] L. Coppey, C. Lair. Leçons de théorie des esquisses (II), Diagrammes 19 ( 1988) Zbl0664.18004MR976066
  6. [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 Zbl0810.68096MR1281759
  7. [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 Zbl0822.68063MR1281760
  8. [8] C. Ehresmann. Esquisses et types de structures algébriques, Bulletin de l'Institut Polytechnique, Iasi 14 ( 1968) Zbl0196.03102MR238918
  9. [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. [10] R. Guitart, C. Lair. Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 ( 1980) Zbl0508.03030MR684746
  11. [11] R. Guitart, C. Lair. Limites et colimites pour représenter les formules, Diagrammes 7 ( 1982) Zbl0535.03013
  12. [12] Hudak, Jones, Wadler. Report on the programming language Haskell : a non-strict, purely functional language, ACM SIGPLAN Notices ( 1992) 27(5) 
  13. [13] R. Jenks, R. Sutor. AXIOM The Scientific Computation System, Springer ( 1992) Zbl0758.68010MR1179424
  14. [14] J.L. Krivine. Lambda-calcul : types et modèles, ERI Masson ( 1990) Zbl0697.03004MR1162977
  15. [15] R. Lalement. Logique, réduction, résolution, ERI Masson ( 1990) Zbl0697.03020
  16. [16] S. Mac Lane. Categories for the working mathematician, Springer ( 1971) Zbl0232.18001MR1712872
  17. [17] S.K. Lellahi. Categorical abstract data types, Diagrammes 21 ( 1989) Zbl0678.68014MR1021091
  18. [18] Milner. A proposal for Standard ML, Proc. of the Symposium on Lisp anf Functional Programming, ACM ( 1984) 184-197 
  19. [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 Zbl0945.68511

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.