Link to "Romeo: a system for more flexible binding-safe programming".