Cause and Effect: Type Systems for Effects and Dependencies (2005)

by Geoffrey Washburn
Citations:1 - 0 self

Active Bibliography

Dependencies – Geoffrey Washburn, Geoffrey Washburn - 2005
Interpretational Overhead in system software – Boris Feigin - 2011
11 Programming With Types – Stephanie Claudene Weirich - 2002
Language-based Enforcement of User-defined Security Policies As Applied to Multi-tier Web Programs – Michael Hicks - 2008
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
2 Proving noninterference by a fully complete translation to the simply typed λ-calculus – Naokata Shikuma, Atsushi Igarashi - 2006
Under consideration for publication in J. Functional Programming 1 Translating Dependency into Parametricity – Stephen Tse, Steve Zdancewic
Type Systems: Advances and Applications – n.n.
Coeffects: Unified static analysis of context-dependence ⋆ – Tomas Petricek, Dominic Orchard, Alan Mycroft
2008 IEEE Symposium on Security and Privacy FABLE: A Language for Enforcing User-defined Security Policies – Nikhil Swamy, Brian J. Corcoran, Michael Hicks
51 Fable: A language for enforcing user-defined security policies – Nikhil Swamy, Brian J. Corcoran, Michael Hicks - 2007
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
3 Generalizing Parametricity Using Information-flow – Geoffrey Washburn, Stephanie Weirich - 2005
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
1 CLL: A concurrent language built from logical principles – Deepak Garg - 2005
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
Type soundness – François Pottier