The following publications are possibly variants of this publication:
- A library for light-weight information-flow security in haskellAlejandro Russo, Koen Claessen, John Hughes. haskell 2008: 13-24 [doi]
- MAC A verified static information-flow control libraryMarco Vassena, Alejandro Russo, Pablo Buiras, Lucas Waye. Journal of Logical and Algebraic Methods in Programming, 95:148-180, 2018. [doi]
- A Library for Secure Multi-threaded Information Flow in HaskellTa-Chung Tsai, Alejandro Russo, John Hughes. csfw 2007: 187-202 [doi]
- Losing functions without gaining data: another look at defunctionalisationNeil Mitchell, Colin Runciman. haskell 2009: 13-24 [doi]