SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
This talk is beginner-friendly. You do not need to know dependent types or category theory, and even functors and monads will appear just as familiar and natural (psst!) graph transformations.
The ideas presented in the talk are implemented in the Alga library.
YOU MAY ALSO LIKE:
Algebraic Graphs
Andrey Mokhov
Andrey Mokhov's general interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.