- Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. David J. Pearce and James Noble. In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), 2011. [ PDF ]
Technical Reports
- Flow-Sensitive Types for Whiley. David J. Pearce and James Noble, Victoria University of Wellington, Technical Report #ECSTR10-23, 2011. [ Postscript / PDF ]
Popular Posts