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

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Swierstra, W.S.
dc.contributor.advisor	Serrano Mena, A.
dc.contributor.author	Toor, F.H. van
dc.date.accessioned	2020-04-28T18:00:11Z
dc.date.available	2020-04-28T18:00:11Z
dc.date.issued	2020
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/35717
dc.description.abstract	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.
dc.description.sponsorship	Utrecht University
dc.format.extent	265644
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	MMH: High-level programming with the Mu-Mu-Tilde-calculus
dc.type.content	Master Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	Sequent, lambda, calculus, programming, programming language, mu-mu-tilde, polymorphism, pattern matching
dc.subject.courseuu	Computing Science