Visually Embodying Well-Typedness of Algebraic Data Structures through Maramafication

Chide Groenouwe, John-Jules Meyer

    Research output: Book/ReportReportAcademic

    Abstract

    This paper presents a maramafication of an essential
    part of FPLs: the construction of well-typed algebraic
    data structures based on type definitions with at most
    one type parameter. Maramafication means the design
    of visual ‘twins’ of existing programming constructs using
    spatial metaphors rooted in common sense or inborn
    spatial intuition, to achieve self-explanatoriness. This is,
    among others, useful to considerably reduce the gap between
    programmers and non-programmers in the creation
    of programs, for educational purposes or for invoking
    enthusiasm among non-programmers.
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUU BETA ICS Departement Informatica
    Number of pages14
    Publication statusPublished - 2017

    Publication series

    NameTechnical Report Series
    PublisherUU Beta ICS Departement Informatica
    No.UU-CS-2017-014
    ISSN (Print)0924-3275

    Fingerprint

    Dive into the research topics of 'Visually Embodying Well-Typedness of Algebraic Data Structures through Maramafication'. Together they form a unique fingerprint.

    Cite this