Verifying the Consistency of Transactional Variables in STM Haskell

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.
Demeyer, Romain ; Vanhoof, Wim. / Verifying the Consistency of Transactional Variables in STM Haskell. Paper presented at Symposium on Trends in Functional Programming 2012, St Andrews, United Kingdom.
@conference{12b957346be84b5da0871cc35970f018,
title = "Verifying the Consistency of Transactional Variables in STM Haskell",
author = "Romain Demeyer and Wim Vanhoof",
year = "2012",
language = "English",
note = "Symposium on Trends in Functional Programming 2012 ; Conference date: 12-06-2012 Through 14-06-2012",

}

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, 12/06/12 - 14/06/12, .

Verifying the Consistency of Transactional Variables in STM Haskell. / Demeyer, Romain; Vanhoof, Wim.

2012. Paper presented at Symposium on Trends in Functional Programming 2012, St Andrews, United Kingdom.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Verifying the Consistency of Transactional Variables in STM Haskell

AU - Demeyer, Romain

AU - Vanhoof, Wim

PY - 2012

Y1 - 2012

M3 - Paper

ER -

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