Reasoning about data using code
Eduardo Rafael
Reasoning about data using code
42:31
Memory efficiency by dependent unboxed types
Eduardo Rafael
Memory efficiency by dependent unboxed types
29:19
From Linear Types to Rust
Eduardo Rafael
From Linear Types to Rust
55:44
Typing Rules
Eduardo Rafael
Typing Rules
0:52
#OCaml Nix Template
Eduardo Rafael
#OCaml Nix Template
0:40
What are dependent types? aka the Calculus of Construction (as a type wizard)
Eduardo Rafael
What are dependent types? aka the Calculus of Construction (as a type wizard)
29:10
What is a function? aka term abstraction (as a tech youtuber)
Eduardo Rafael
What is a function? aka term abstraction (as a tech youtuber)
15:47
How to run code? aka strict evaluation (as a symbol pusher)
Eduardo Rafael
How to run code? aka strict evaluation (as a symbol pusher)
23:43
Polymorphism on the typed lambda calculus (as a bad chess player)
Eduardo Rafael
Polymorphism on the typed lambda calculus (as a bad chess player)
49:07
How to write parsers in OCaml using Menhir (as a jedi master)
Eduardo Rafael
How to write parsers in OCaml using Menhir (as a jedi master)
36:07
Implementing the simply typed lambda calculus in OCaml (as a not mathematician)
Eduardo Rafael
Implementing the simply typed lambda calculus in OCaml (as a not mathematician)
56:19
Using postgres with OCaml (as a bad developer)
Eduardo Rafael
Using postgres with OCaml (as a bad developer)
30:41
How to write an interpreter in OCaml? (as a blockchain developer)
Eduardo Rafael
How to write an interpreter in OCaml? (as a blockchain developer)
16:08
Making a CRUD in OCaml (as a millionaire in Cambodia)
Eduardo Rafael
Making a CRUD in OCaml (as a millionaire in Cambodia)
24:08
How to do Higher Kinded Types in OCaml? (as a millionaire in Venezuela)
Eduardo Rafael
How to do Higher Kinded Types in OCaml? (as a millionaire in Venezuela)
15:34