Practical Reflection and Metaprogramming for Dependent Types

David Raymond Christiansen

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Practical Reflection and Metaprogramming for Dependent Types'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science