Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Research output: Contribution to conferencePaperpeer-review

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