The monad and examples from Haskell

A computer-checked library for Category Theory in Lean

Bachelor thesis (2023)

Authors

C. Farkas Electrical Engineering, Mathematics and Computer Science

Contributors

Benedikt Ahrens Programming Languages (mentor)
L.F.B. Escot Programming Languages (mentor)
Kaitai Liang Cyber Security (graduation committee member)
Faculty
Electrical Engineering, Mathematics and Computer Science, Electrical Engineering, Mathematics and Computer Science
Copyright: © 2023 Csanád Farkas
More Info
expand_more

Published Date

27-06-2023

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Abstract

Category Theory is a widely used field of Mathematics.
Some concepts from it are often used in functional programming.
This paper will focus on the Monad and a few implementations of it from Haskell.
We will also present the computer-checked library we have written to help us in this task.

Files

Final_Paper_1.pdf
(pdf | 0.212 Mb)
Unknown license