Type Families and Elaboration

Alejandro Serrano Mena

    Research output: Contribution to conferencePaperOther research output

    Original languageEnglish
    Publication statusPublished - 2 Oct 2014
    EventIFL - Boston, United States
    Duration: 1 Oct 20143 Oct 2014

    Workshop

    WorkshopIFL
    Country/TerritoryUnited States
    CityBoston
    Period1/10/143/10/14

    Cite this