What do you get if you boil Scala on a slow flame and wait until all incidental features evaporate and only the most concentrated essence remains? After doing this for 8 years we believe we have the answer: it’s DOT, the calculus of dependent object types, that underlies Scala. A paper on DOT will be presented in April at Wadlerfest, an event celebrating Phil Wadler’s 60th birthday. There’s also a