munihac 2020 workshop: andres löh - liquid haskell
Published Streamed 3 years ago • 1.3K plays • Length 3:11:03Download video MP4
Download video MP3
Similar videos
-
38:32
munihac 2020: austin huang - hasktorch: differentiable functional programming in haskell
-
55:55
munihac 2020: andrew lelechenko - polynomials in haskell
-
2:46:21
munihac 2020 workshop: michael sperber - control your effects
-
37:48
munihac 2016: functional programming at lumiguide
-
57:51
munihac 2020: lars hupel - theorems for free
-
45:58
munihac 2020: nicolas wu - persistence makes a difference
-
46:04
ignacio franco: quantum frontiers in molecular and material science
-
9:04
freshman dorm room tour | haskell indian nations university pocahontas hall
-
43:53
sensei podcast episode 32: kambis mashayekhi
-
52:10
munihac 2020: neil mitchell - migrating hlint to the ghc api
-
59:38
munihac 2019: the many faces of isorderedtree
-
1:04:25
munihac 2022 - friday, october 7 - gabriella gonzalez: minmaxing slay the spire with haskell
-
24:22
mathtexengine.jl: reinventing the latex wheel in julia - benoît richard - makiecon 23
-
50:37
munihac 2016: hakyll
-
46:40
munihac 2016: beautiful folds are practical, too
-
43:47
munihac 2018: keynote: beautiful template haskell