Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs

langue originaleAnglais
Etat de la publicationPublié - 2012
EvénementSymposium on Trends in Functional Programming 2012 - St Andrews, Royaume-Uni
Durée: 12 juin 2012 → 14 juin 2012

Colloque

ColloqueSymposium on Trends in Functional Programming 2012
Pays/TerritoireRoyaume-Uni
La villeSt Andrews
période12/06/12 → 14/06/12

Contient cette citation