Favorites
(0)
Conferences
(110)
Latest events:
Euruko 2021
GatsbyConf 2021
Next.js Conf 2020
Topics:
JavaScript
(559)
React
(505)
Python
(295)
Android
(275)
PHP
(225)
Ember
(192)
Frontend
(186)
Ruby
(172)
Testing
(150)
Rails
(142)
DevOps
(135)
React Native
(132)
GraphQL
(129)
Angular
(115)
Vue
(109)
Open Source
(82)
Databases
(78)
Flutter
(78)
C++
(77)
Clojure
(76)
Software Development
(76)
Docker
(71)
Kotlin
(68)
CSS
(65)
Node.js
(59)
Swift
(56)
Next.js
(52)
NGINX
(50)
Design Patterns
(48)
Kubernetes
(48)
Go
(46)
Big Data
(45)
Django
(45)
Machine Learning
(41)
.NET
(39)
iOS
(39)
Jamstack
(38)
Developer Community
(37)
Game Development
(35)
Haskell
(35)
Laravel
(33)
Backend
(32)
GatsbyJS
(31)
Serverless
(31)
Compilers & Interpreters
(30)
Java
(30)
Debugging
(29)
Erlang
(29)
Firebase
(26)
Redux
(26)
Functional Programming
(25)
Language Design
(25)
SQL
(25)
Web Development
(23)
Elixir
(22)
AWS
(20)
Rust
(20)
TypeScript
(20)
Hardware
(19)
Data Structures & Algorithms
(15)
HTML
(15)
Electron
(14)
Julia
(13)
Scala
(13)
JSON
(12)
WebAssembly
(12)
Webpack
(12)
Lisp
(11)
System Architecture
(11)
Distributed Systems
(10)
PostgreSQL
(10)
Secutiry
(10)
Software Design
(10)
Agile
(9)
Gradle
(9)
Linux
(9)
Mathematics
(9)
Programming Languages
(9)
Symfony
(9)
Cognitive Development
(8)
Elm
(8)
MongoDB
(8)
Theoretical Computer Science
(8)
Creative Technology
(7)
Cryptocurrencies
(7)
Idris
(7)
Web Components
(7)
Blockchain
(6)
C#
(6)
Meteor
(6)
MySQL
(6)
SVG
(6)
Test-Driven Development
(6)
Backbone.js
(5)
Computer Graphics and Vision
(5)
Computer History
(5)
Data Science
(5)
Git
(5)
Operating Systems
(5)
Racket
(5)
APL
(4)
Apache
(4)
Artificial Intelligence
(4)
Assembly
(4)
Elasticsearch
(4)
Entrepreneurship
(4)
Pair Programming
(4)
UI & UX
(4)
Unison
(4)
VimL
(4)
Logic Programming
(3)
Methodologies
(3)
OCaml
(3)
Performance Engineering
(3)
Program Synthesis
(3)
Prolog
(3)
Redis
(3)
Scheme
(3)
Smalltalk
(3)
Type Theory
(3)
Bash
(2)
Bootstrap
(2)
Bower
(2)
Ceylon
(2)
CouchDB
(2)
Crystal
(2)
D
(2)
D3.js
(2)
Debian
(2)
Hackett
(2)
Image Optimization
(2)
Ionic
(2)
Objective C
(2)
Robotics
(2)
SQLite
(2)
Soft Skills
(2)
Typography
(2)
Version Control
(2)
Alpaca
(1)
Babel
(1)
Babylon.js
(1)
C
(1)
CakePHP
(1)
Cloud & Containers
(1)
Confluence
(1)
Drupal
(1)
Express.js
(1)
F#
(1)
Factor
(1)
Frege
(1)
Grunt
(1)
Gulp
(1)
Kafka
(1)
NestJS
(1)
OAuth
(1)
Object-Oriented Programming
(1)
Project Automation
(1)
PureScript
(1)
Research
(1)
SASS
(1)
Sequelize
(1)
TensorFlow
(1)
Ubuntu
(1)
Virtualization
(1)
Wolfram Language
(1)
XML
(1)
jQuery
(1)
Version 1.0.6
Awesome Type Theory Talks
A curated list of amazing
Type Theory
related conference talks.
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
January 2016
Joseph Abrahamson on “On the Meanings of the Logical Constants”
September 2014
Erik Hinton on The Derivative of a Regular Type is its Type of One-Hole Contexts
September 2014