(Last updated: 10 March 2005)

Errata to

Karl Crary, Aleksey Kliger, Frank Pfenning, ``A Monadic
Analysis of Information Flow Security with Mutable State.''  Journal
of Functional Programming, 15(2) 249 -- 291, March 2005.

There were several typos in the published version:

----------
Page 255, Figure 2.  The typing rules for expressions.

The rule (30) for LET VAL has the same type A in the conclusion
as the type of the variable x.  The second premise should have a type B,
and so should the conclusion.   A correct version of the rule appears in
Appendix B.

----------
Page 271, Figure 10.  The \lambda_{SEC}^{REF} base value encoding.

The subsumption rule uses a misleading metavariable E in the premise and
the conclusion.  The translations of base values are terms, so the rule
should say M.

----------