Daniel Lincke, Sibylle Schupp. From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages. In Anthony Sloane, Suzana Andova, editors, International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012. pages 3, ACM, 2012. [doi]
Abstract is missing.