UCSD-PL/language-ecmascript — pull request #5 by ranjitjhala (2013-12-20 19:00:30+00:00)
Title: Intersections

Unified casts into a single constructor. The actual up/down/dead happens inside Annots.