Aleksey Kliger

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Karl Crary, Aleksey Kliger, Frank Pfenning
A monadic analysis of information flow security with mutable state. J. Funct. Program. 15 (2) (2005)