Uncovering the Unknown: Principles of Type Inference Share: Download MP3 Similar Tracks Type inference as constraint solving: how GHC’s type inference engine actually works - SPJ LambdAle "Propositions as Types" by Philip Wadler Strange Loop Conference Type Inference from Scratch: A Workshop with Christoph Hegemann Berlin Functional Programming Group Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) FOMUS 2016 A Type Inferencer for ML in 200 Lines of Scala – Ionuț G. Stan Typelevel "A Little Taste of Dependent Types" by David Christiansen Strange Loop Conference Introduction to Type Inference NYC Haskell User's Group Category Theory for the Working Hacker by Philip Wadler Lambda World Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business GopherCon 2023: Everything You Always Wanted to Know About Type Inference - Robert Griesemer Gopher Academy Richard Eisenberg on Dependent Types NYC Haskell User's Group Experimenting in a Sociotechnical System - Jessica Kerr ChariotSolutions The Most Misunderstood Concept in Physics Veritasium Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript Fullstack Academy f(by) 2019 - Christoph Hegemann, TYPE INFERENCE FROM SCRATCH SPACE 3 01 A Functional Programmer's Guide to Homotopy Type Theory ICFP Video Think Faster, Talk Smarter with Matt Abrahams Stanford Alumni Making sense of the Haskell type system by Ryan Lemmer at FnConf17 ConfEngine Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1) jasonofthel33t The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Ma... (ICFP 2020) ACM SIGPLAN
