Aleksey Kliger

List of publications from the DBLP Bibliography Server - FAQ

2005

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

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

Coauthor Index