Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 1997 2019

Filtre
Résumé
2013

Verification of Transactions in STM Haskell using Contracts and Program Transformation

Demeyer, R. & Vanhoof, W., 2013, p. 47-51.

Résultats de recherche: Contribution à un événement scientifique (non publié)Résumé