teaching functional programmers logic and metatheory | frederik krogsdal jacobsen | lambda days 2022
Published 1 year ago • 1.3K plays • Length 24:17Download video MP4
Download video MP3
Similar videos
-
23:31
towards incremental language definition with reusable components | damian frolich | lambda days 2022
-
48:58
rob martin - teaching functional programming to noobs (lambda days 2016)
-
36:42
piotr moczurad - why visual functional programming matters | lambda days 2019
-
21:48
programming with math | the lambda calculus
-
57:15
30 years of modelling communicating systems in a functional style - dame muffy calder | lambda days
-
31:18
andrea magnorsky - a brief history of programming languages (lambda days 2016)
-
25:16
algorithm design with the selection monad | johannes hartmann | lambda days 2022
-
43:36
some history of functional programming languages - david turner (lambda days 2017)
-
54:26
keynote: what every programmer should know about cognition | felienne hermans | lambda days 2022
-
1:03:02
keynote: why functional programming matters - john hughes, mary sheeran (lambda days 2017)