Print Email Facebook Twitter The monad and examples from Haskell Title The monad and examples from Haskell: A computer-checked library for Category Theory in Lean Author Farkas, Csanád (TU Delft Electrical Engineering, Mathematics and Computer Science) Contributor Ahrens, B.P. (mentor) Escot, L.F.B. (mentor) Liang, K. (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science and Engineering Project CSE3000 Research Project Date 2023-06-27 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. Subject Category theoryMonadsLeanHaskellproof assistant To reference this document use: http://resolver.tudelft.nl/uuid:13e01f3b-7b34-4169-a0f4-fb3513ccdc77 Bibliographical note https://github.com/sgciprian/ct Part of collection Student theses Document type bachelor thesis Rights © 2023 Csanád Farkas Files PDF Final_Paper_1.pdf 217.44 KB Close viewer /islandora/object/uuid:13e01f3b-7b34-4169-a0f4-fb3513ccdc77/datastream/OBJ/view