Encoding information flow in Haskell (2006)

by Peng Li
Venue:In CSFW’06: the 19th IEEE Computer Security Foundations Workshop
Citations:34 - 4 self