ETAPS 2011

07 Apr 2011 - 19:17:42 in Event
DavidPearce presented his papers "JPure: a Modular Purity System for Java" at the International Conference on Compiler Construction (CC), and "Implementing a Language with Flow-Sensitive and Structural Typing on the JVM" at the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Saarbrucken, Germany, 2011.