tomas petricek - history and philosophy of types (lambda days 2016)
Published 8 years ago • 2K plays • Length 46:54Download video MP4
Download video MP3
Similar videos
-
47:12
lambda days 2018 - tomas petricek - rethinking compilers with live coding
-
1:11:55
bartosz milewski - truth about types (lambda days 2016)
-
41:32
tomas petricek - would aliens understand lambda calculus - code mesh 2017
-
43:36
some history of functional programming languages - david turner (lambda days 2017)
-
31:18
andrea magnorsky - a brief history of programming languages (lambda days 2016)
-
49:19
lambda days 2015 - tomas petricek - literate_programming.with("f#")
-
56:58
philip wadler - propositions as types (lambda days 2016)
-
54:44
dr alex kaiserman, 'how to change the past (and live to tell the tale)'
-
18:48
science & pseudoscience - imre lakatos (1973)
-
15:06
philip wadler and erik meijer: on programming language theory and practice
-
46:01
tomas petricek - learning to live with errors
-
1:00:47
robert virding - on language design (lambda days 2016)
-
37:28
norbert wojtowicz - modeling your domain (lambda days 2016)
-
43:58
robert virding - lfe - a lisp flavour on the erlang vm (lambda days 2016)
-
22:36
lambda days - jerzy müller - type classes 101
-
16:09
artur skowronski - embracing change (...) (lambda days 2016)
-
21:52
lambda days 2015 - jan pustelnik - performance implications of various programming styles