Cited By
View all- Pearce D(2013)Sound and Complete Flow Typing with Unions, Intersections and NegationsProceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 773710.1007/978-3-642-35873-9_21(335-354)Online publication date: 20-Jan-2013
- Pearce DNoble J(2011)Implementing a Language with Flow-Sensitive and Structural Typing on the JVMElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2011.11.005279:1(47-59)Online publication date: 1-Dec-2011