A Type Inferencer for ML in 200 Lines of Scala – Ionuț G. Stan

A Type Inferencer for ML in 200 Lines of Scala – Ionuț G. Stan
Share:

Download MP3


Similar Tracks

Extensible Effects: A Leaner Cake for Purely Functional Code – Edmund Noble Typelevel
Formal verification of Scala programs with Stainless – Romain Ruetschi Typelevel
Uncovering the Unknown: Principles of Type Inference ChariotSolutions
[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... ACM SIGPLAN
You Didn't Know It, but You Really Want to Learn Sequent Calculus – Adam Rosien Typelevel
Functional Error Handling with Cats – Mark Canlas Typelevel
Introduction to Type Inference NYC Haskell User's Group
Type Theory for the Working Rustacean - Dan Pittman Rust Belt Rust Conference
The Type Astronaut's Guide to Shapeless—Dave Gurnell Scala World
Keep your sanity with compositional tracing – Jakub Kozlowski Typelevel
Building a Typechecker from scratch [1/20] Introduction to Type theory and checking Dmitry Soshnikov
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript Fullstack Academy
Move Over Free Monads: Make Way for Free Applicatives! — John de Goes Scala World
f(by) 2019 - Christoph Hegemann, TYPE INFERENCE FROM SCRATCH SPACE
CSE 340 S16: 3-30-16 "Hindley-Milner Type Inference pt. 1" Adam Doupé
"Hackett: a metaprogrammable Haskell" by Alexis King Strange Loop Conference
A Zero to Hero Vim + Metals setup for Scala – Chris Kipp Typelevel
17. The Hindley-Milner Type System Nicolas “Norswap” Laurent
Category Theory for the Working Hacker by Philip Wadler Lambda World
IO monad & Error management: From Exceptions to Cats MTL – Guillaume Bogard Typelevel