Program Analysis to Support Concurrent Programming in Functional Languages

Research output

Research output per year 2011 2011 2012 2013 2013

• 2 Conference contribution
• 1 Abstract
• 1 Paper

Research output per year

Research output per year

Search results

• 2012

  Verifying the Consistency of Transactional Variables in STM Haskell

  Demeyer, R. & Vanhoof, W., 2012.

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