Scalad: an interactive type-level debugger

Hubert Plociniczak. Scalad: an interactive type-level debugger. In Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013. ACM, 2013. [doi]

Abstract

Abstract is missing.