Article Dans Une Revue
Journal of Functional Programming
Année : 1991
Cécile Alrivie : Connectez-vous pour contacter le contributeur
https://ens.hal.science/hal-03316279
Soumis le : vendredi 6 août 2021-13:38:34
Dernière modification le : vendredi 19 avril 2024-16:18:57
Dates et versions
Identifiants
- HAL Id : hal-03316279 , version 1
Citer
Luca Cardelli, Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1991, 1 (4), pp.417-458. ⟨hal-03316279⟩
21
Consultations
0
Téléchargements