Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Research output: Contribution to conference › Paper › peer-review

Original languageEnglish
Publication statusPublished - 2012
EventSymposium on Trends in Functional Programming 2012 - St Andrews, United Kingdom
Duration: 12 Jun 2012 → 14 Jun 2012

Symposium

SymposiumSymposium on Trends in Functional Programming 2012
Country/TerritoryUnited Kingdom
CitySt Andrews
Period12/06/12 → 14/06/12

Cite this