Ensembles infinis en programmation
Publications du Département de mathématiques (Lyon) (1985)
- Volume: 2/B, Issue: 2B, page 45-56
- ISSN: 0076-1656
Access Full Article
top
How to cite
topCayrol, Michel. "Ensembles infinis en programmation." Publications du Département de mathématiques (Lyon) 2/B.2B (1985): 45-56. <http://eudml.org/doc/273488>.
@article{Cayrol1985,
author = {Cayrol, Michel},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {language PSIL; manipulation with infinitary objects; infinite sets; lazy evaluation; LISP},
language = {fre},
number = {2B},
pages = {45-56},
publisher = {Université Claude Bernard - Lyon 1},
title = {Ensembles infinis en programmation},
url = {http://eudml.org/doc/273488},
volume = {2/B},
year = {1985},
}
TY - JOUR
AU - Cayrol, Michel
TI - Ensembles infinis en programmation
JO - Publications du Département de mathématiques (Lyon)
PY - 1985
PB - Université Claude Bernard - Lyon 1
VL - 2/B
IS - 2B
SP - 45
EP - 56
LA - fre
KW - language PSIL; manipulation with infinitary objects; infinite sets; lazy evaluation; LISP
UR - http://eudml.org/doc/273488
ER -
References
top- 1 Cayrol M.Conception et pratique d'un modèle pour le traitement d'objets infinis dénombrables, rapport interne U.P.S. (1984).
- 2 Greussay P.Contribution à la définition interprétative et à l'implémentation des lambdalangages. Thèse d'état Université de Paris VII (1977).
- 3 Maccarty et Al. Lisp 1.5 Programmers's Manual. M.I.T.Press Cambridge Massachussets (1965).
- 4 Sussman C.J., Stelle G.L.The revised report on SCHEME a dialect of LISP , A.I. Meno n° 452 (1978).
- 5 Vuillemin J.Syntaxe, Sémantique et Axiomatique d'un langage de programmation simple. Birkhauser Verlag, Basel und Stutgart (1975). Zbl0327.68006
- 6 Wand M.Induction, recursion and programming, North Holland (1980). Zbl0429.68013MR574119
- 7 Wise D.S.Interpreters for functional programming and its applications, Cambridge University Press (1982).
NotesEmbed ?
topYou 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.