Categorical structures for type theory in univalent foundations - Nikolai Kudasov

(24:16)

Nikolai Kudasov- Constructing a DSL for Composable Reports in Haskell- λC 2019

(35:25)

Nikolai Kudasov- Augmenting Reality in Haskell- λC 2019

(1:32:56)

Nikolai Kudasov - Building a Telegram Bot in Haskell (Part 1) - λC 2018

(56:9)

Nikolai Kudasov, Rzk proof assistant and simplicial HoTT formalization

(1:9:38)

Nikolai Kudasov: Formal Semantics for Programming Languages

(1:2:42)

Nikolai Kudasov - Building a Telegram Bot in Haskell (Part 2) - λC 2018

(54:59)

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

(1:30:37)

Paul Pietroski on Internalism and the Philosophy of Linguistics

(54:55)

Felix Cherubini, A foundation for synthetic algebraic geometry

(1:24:8)

In Search of New Algorithms Part I: Neural Networks

(1:8:40)

Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant

(58:42)

Formalization of ∞ category theory (Jonathan Weinberger, Johns Hopkins University)

(1:50:36)

Functional Programmers Paris - Building a language, in Haskell, with an LLVM backend

(50:1econd)

Nicholas Dusard vs Julio Carlos itf taekwondo New Jersey ultimate tae kwondo tournament round 1

(2:5)

Моноид в категории эндофункторов? Денис Шевченко

(26:28)

Mike Shulman Type-theoretic model toposes

(1:6:24)

STEP13oct23AbounegmKudasovSim

(1:33:15)

Modular, Compositional, and Executable Formal Semantics for LLVM IR

(13:46)

[CPP'24] Formalizing the ∞-categorical Yoneda lemma

(34:28)

\

(1:7:42)

[miniKanren24] typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…)

(30:5)

Lecture 01-2. Properties of parametrically polymorphic functions

(8:9)

Lecture 02-1. Lazy evaluation

(10:18)

PSSV21ThirdMorningAndAfternoonSessions

(2:35:12)

Lecture 03-1. Algebraic data types

(13:6)

Lecture 03-2. Type classes

(6:50)