Secure Information Flow via Linear Continuations Steve ZdancewicAndrew C. Myers OriginalPaper Pages: 209 - 234
Axioms for Recursion in Call-by-Value Masahito HasegawaYoshihiko Kakutani OriginalPaper Pages: 235 - 264