MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Aleksey Kliger" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Thesis Proposal Reasoning about garbage collection in linear logic
by Aleksey Kliger — 2008
…Thesis Proposal Reasoning about garbage collection in linear logic Aleksey Kliger April 24, 2008…
Add To MetaCart

A monadic analysis of information flow security with mutable state
by Karl Crary, Aleksey Kliger, Frank Pfenning — 2003 — Journal of Functional Programming
…A Monadic Analysis of Information Flow Security with Mutable State Karl Crary ∗ Aleksey Kliger…
Cited by 14 (1 self) – Add To MetaCart

JFP 15 (2): 249--291, 2005. c
by Cambridge University Press, Karl Crary, Aleksey Kliger, Frank Pfenning — 2005
… CRARY, ALEKSEY KLIGER and FRANK PFENNING Carnegie Mellon University, 5000 Forbes Avenue Pittsburgh, PA…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB