Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Research output: Contribution to conferencePaper

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

Symposium

SymposiumSymposium on Trends in Functional Programming 2012
CountryUnited Kingdom
CitySt Andrews
Period12/06/1214/06/12

Cite this

Demeyer, R., & Vanhoof, W. (2012). Verifying the Consistency of Transactional Variables in STM Haskell. Paper presented at Symposium on Trends in Functional Programming 2012, St Andrews, United Kingdom.