Bowen Alpern Anthony Cocchi David Grove Dynamic Type Checking in Jalapeño. 2001 conf/jvm/2001 Java™ Virtual Machine Research and Technology Symposium http://www.usenix.org/publications/library/proceedings/jvm01/alpern.html db/conf/jvm/jvm2001.html#AlpernCG01