Lincke, D., & Schupp, S. (2012). From HOT to COOL: Transforming Higher-Order Typed Languages to Concept-Constrained Object-Oriented Languages. In LDTA '12 Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications.