19 citations · 96 across the 34 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
A Specification of Open Transactional Memory for Haskell
Marino Miculan, Marco Peressotti
Transactional memory (TM) has emerged as a promising abstraction for concurrent programming alternative to lock-based synchronizations. However, most TM models admit only isolated…
cs.LO2016
Endofunctors modelling higher-order behaviours
Marco Peressotti
In this paper we show how the abstract behaviours of higher-order systems can be modelled as final coalgebras of suitable behavioural functors. These functors have the challenging…