FoolProof : a component toolkit for abstract syntax with variable bindings

C. Hemerik

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    103 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's16
    StatusGepubliceerd - 2008

    Publicatie series

    NaamComputer science reports
    Volume0816
    ISSN van geprinte versie0926-4515

    Toegang tot document

    • 636162Definitieve gepubliceerde versie, 252 KB

      Citeer dit