High-level modelling for typed functional programming

DOI10.1007/978-3-030-83978-9_4zbMath1490.68075OpenAlexW3196278837MaRDI QIDQ832100

Yusuf Moosa Motara

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-83978-9_4

zbMATH Keywords

functional programmingstructural modellingtype model

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Coq
• ML
• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of type polymorphism in programming
• The language of mathematics. A linguistic and philosophical investigation
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
• A Survey of Graphical Languages for Monoidal Categories
• A graphical approach to monad compositions
• An Invitation to Applied Category Theory
• The Calculi of Lambda Conversion. (AM-6)

This page was built for publication: High-level modelling for typed functional programming