View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        MMH: High-level programming with the Mu-Mu-Tilde-calculus

        Thumbnail
        View/Open
        thesis.pdf (259.4Kb)
        Publication date
        2020
        Author
        Toor, F.H. van
        Metadata
        Show full item record
        Summary
        The 𝜇𝜇-̃ calculus is a small core programming language, for which the separation between data and codata is essential. To make the power of this separation more accessible, we introduce MMH, a high-level functional programming language that compiles to the 𝜇𝜇-̃ calculus. We show how 𝜆-calculus programs can be converted to 𝜇𝜇-̃ calculus programs, and extend the calculus with programmer-friendly features, such as nested (co-)pattern matching. We introduce a polymorphic typing system to the 𝜇𝜇-̃ calculus for which type inferencing is decidable, and allow MMH to reap the benefits.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/35717
        Collections
        • Theses
        Utrecht university logo