(Somewhat) Functional Journal Club
Date
Tuesday, May 11, 2021 - 16:00 to 17:00
Location
L4E48
Description
In this seventh meeting, Vsevolod Nikulin will talk about "Algebra and calculus of types".
This Journal Club is for people interested in Functional Programming, Category Theory and related fields. Maybe you know a some Haskell, maybe you’ve heard of monads or the Yoneda Lemma, or maybe you’d like to learn about these things. We will meet every two weeks (approximately) on Tuesdays from 4 to 5PM. Registration not required.
All-OIST Category:
Subscribe to the OIST Calendar: Right-click to download, then open in your calendar application.