Skip to content

ICFP Video

@icfpvideo • 3.8K subscribers • 33 videos on Hallway • 53 recommendations

Open on YouTube

03 Polymorphism, subtyping, and ytpe inference in MLsub

Recommended by 311 years ago

Hidden gem

1 10 Getting a Quick Fix on Comonads

Recommended by 311 years ago

Hidden gem

1 07 High Performance Client Side Web Applications through Haskell EDSLs

Recommended by 210 years ago

Hidden gem

Build Systems à la Carte

Recommended by 28 years ago

Hidden gem

Handling Delimited Continuations with Dependent Types

Recommended by 38 years ago

Hidden gem

01 The History of Standard ML: Ideas, Principles, Culture

Recommended by 311 years ago

Classic

04 An Optimizing Compiler for a Purely Functional Web Application Language

Recommended by 211 years ago

Hidden gem

01 Effective Programming: bringin algebraic effects and handlers to OCaml

Recommended by 210 years ago

Hidden gem

10 A Pretty Printer that Says Waht It Means

Recommended by 211 years ago

Hidden gem

ICFP 2018 Keynote Address: Gradual Typing

Recommended by 28 years ago

Hidden gem

06 Fighting spam with haskell at Facebook

Recommended by 211 years ago

Hidden gem

06 1ML Core and Modules United

Recommended by 211 years ago

Hidden gem

Effect-Driven QuickChecking of Compilers

Recommended by 28 years ago

Hidden gem

09 The Unreasonable Effectiveness of Lenses for Business Applications

Recommended by 111 years ago

3 01 A Functional Programmer's Guide to Homotopy Type Theory

Recommended by 110 years ago

03 Backpack to Work: Towrads Backpack in Practice

Recommended by 110 years ago

01 The State of GHC

Recommended by 110 years ago

03 Type Level Web APIs

Recommended by 111 years ago

1 07 Sequent Calculus as a Compiler Intermediate Language

Recommended by 110 years ago

2 05 Practical Probabilistic Programming with Monads

Recommended by 211 years ago

Hidden gem

GHC Infrastructure update

Recommended by 18 years ago

16 Lightning: Imperative OO With Cheap Pointers

Recommended by 111 years ago

3 02 Practical Principled FRP

Recommended by 111 years ago

2 04 Imprving Implicit Parallelism

Recommended by 111 years ago