A semantic basis for Quest

Article Dans Une Revue Journal of Functional Programming Année : 1991

, (1, 2)

1
2

Luca Cardelli

Giuseppe Longo

École normale supérieure - Paris

Informatique [cs] Mathématiques [math]

https://ens.hal.science/hal-03316279

Soumis le : vendredi 6 août 2021-13:38:34

Dernière modification le : vendredi 22 mars 2024-03:09:38

hal-03316279 , version 1 (06-08-2021)

Luca Cardelli, Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1991, 1 (4), pp.417-458. ⟨hal-03316279⟩

ENS-PARIS PSL

14 Consultations

0 Téléchargements