Skip to main navigation Skip to search Skip to main content

Type-changing program transformations with pattern matching

    • extern

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings HART 2013: Workshop on Haskell and Rewriting Techniques
    Pages13-18
    Number of pages6
    Publication statusPublished - 2013

    Cite this