C. Farkas

Bachelor thesis (1)

1 records found

The monad and examples from Haskell

A computer-checked library for Category Theory in Lean

Bachelor thesis (2023) - C. Farkas (author), Benedikt Ahrens (mentor), B.P. Ahrens (mentor), Benedikt Ahrens (mentor), L.F.B. Escot (mentor), Kaitai Liang (graduation committee member), Kaitai Liang (graduation committee member), K. Liang (graduation committee member)

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 ...