* Practical type inference for arbitrary-rank types. SPJ, Dimitrios Vytiniotis, Stephanie Weirich, and MS. in JFP. * Lexically-scoped type variables. SPJ MS. Unpublished. * First-class modules for Haskell. MS SPJ. In FOOL 9. * Object-Oriented style overloading for Haskell. MS SPJ. In BABEL'01. * Static types for dynamic documents. MS. PhD Thesis. * Type-Indexed Rows. MS and Erik Meijer. In POPL'01. * XMLambda: A functional programming language for constructing and manipulating XML documents. Erik Meijer and MS. Unpublished. * Implicit parameters: Dynamic scoping with static types. Jeffrey Lewis, MS, Erik Meijer and John Launchbury. In POPL'00. * Dynamic typing as staged type inference. MS, Tim Sheard and SPJ. In POPL'98. * Bridging the gulf: A common intermediate language for ML and Haskell. SPJ, John Launchbury, MS In POPL'98.
H. Groß, J. Hamm, T. Tufarelli, O. Hess, and B. Hecht. Science Advances, 4 (3):
eaar4906(Mar 1, 2018)<a href="https://www.br.de/radio/bayern2/programmkalender/ausstrahlung-1369978.html"style="font-style: normal;">» BR2 - IQ Wissenschaft und Forschung - Magazin (min 19:51)</a>.