Typed Self-Applicable Meta-Programming

Matthew S. Brown. Typed Self-Applicable Meta-Programming. PhD thesis, University of California, Los Angeles, USA, 2017. [doi]

Abstract

Abstract is missing.