An implementation and semantics for transactional memory introspection in Haskell.

Arnar Birgisson Úlfar Erlingsson

Published in: PLAS (2009)

Keyphrases

functional programming

programming language

hardware implementation

transactional memory