a dependently typed calculus with pattern matching and erasure inference (icfp 2020)
Published 3 years ago • 122 plays • Length 13:50Download video MP4
Download video MP3
Similar videos
-
13:02
calculating dependently-typed compilers (functional pearl)
-
12:48
learn lambda calculus: the language with only functions
-
13:26
essentials: functional programming's y combinator - computerphile
-
19:21
the more general uncertainty principle, regarding fourier transforms
-
9:32
10 math concepts for programmers
-
23:55
backpropagation in the simply typed lambda-calculus with linear negation
-
16:55
lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
-
11:48
symbolic and automatic differentiation of languages
-
32:20
doctorate program: functional analysis - lecture 14c: a dual variational problem in optimal control
-
9:59
the bridge between number theory and complex analysis
-
21:48
programming with math | the lambda calculus