Sur un Exemple de Patrick Greussay
Citations
22 citations
5 citations
Cites background from "Sur un Exemple de Patrick Greussay"
...Appendix B.3 displays a program that recursively descends into a binary tree, testing whether it represents a Calder mobile [ 13 ]....
[...]
3 citations
References
2,380 citations
"Sur un Exemple de Patrick Greussay" refers background in this paper
...On peut aussi d´efonctionnaliser cette solution en un syst`eme de transitions, i.e., une machine abstraite ou encore un automate d’´etats fini `a pile [4, 9 ,12]....
[...]
1,825 citations
"Sur un Exemple de Patrick Greussay" refers background in this paper
...Est-ce `a dire qu’une solution purement fonctionnelle est hors de port´ee? La r´eponse est bien sˆur n´egative si l’on utilise une monade d’exceptions [ 8 ] ou alors si l’on passe les r´esultats interm´ediaires `a une continuation, ce que nous faisons ci-apr`es....
[...]
971 citations
277 citations
"Sur un Exemple de Patrick Greussay" refers background in this paper
...On peut aussi d´efonctionnaliser cette solution en un syst`eme de transitions, i.e., une machine abstraite ou encore un automate d’´etats fini `a pile [4,9, 12 ]....
[...]
274 citations
"Sur un Exemple de Patrick Greussay" refers background in this paper
...Depuis trente ans [ 11 ], les continuations ont ´et´e d´ecouvertes dans pratiquement tous les domaines de l’informatique, des plus abstraits — logique intuitionniste, math´ematiques constructives, th´eorie des types, th´eorie des langages de programmation — aux plus concrets — implantation de langages de programmation, services dans les syst`emes d’exploitation, processus et autres ‘threads’, interfaces ......
[...]