Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Résultats de recherche: Contribution à un événement scientifique (non publié)ArticleRevue 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 201214 juin 2012

Colloque

ColloqueSymposium on Trends in Functional Programming 2012
PaysRoyaume-Uni
La villeSt Andrews
période12/06/1214/06/12

Contient cette citation