26:51

1 01 Improving Haskell Types with SMT

ICFP Video

28:02

1 02 A Typechecker Plugin for Units of Measure

ICFP Video

26:27

1 03 Reasoning with the HERMIT

ICFP Video

20:20

1 04 Formally Proving a Compiler Transformation Safe

ICFP Video

26:05

1 05 Bridging the GUI Gap with Reactive Values and Relations

ICFP Video

21:48

1 06 The Remote Monad Design Pattern

ICFP Video

24:16

1 07 Variations on Variants

ICFP Video

21:22

1 08 Modular Reifiable Matching

ICFP Video

22:02

1 09 Injective Type Families for Haskell

ICFP Video

20:19

1 10 Getting a Quick Fix on Comonads

ICFP Video

22:09

2 01 Freer Monad, More Extensible Effects

ICFP Video

20:40

2 02 Type Families with Class

ICFP Video

22:57

2 03 Deja fu: a concurrency testing library for Haskell

ICFP Video

22:24

2 04 Imprving Implicit Parallelism

ICFP Video

25:19

2 05 Practical Probabilistic Programming with Monads

ICFP Video

23:51

2 06 Embedding a Full Linear Lambda Calculus in Haskell

ICFP Video

22:43

2 07 Guilt Free Ivory

ICFP Video

22:39

2 08 Type Safe Runtime Code Generation: Accelerate to LLVM

ICFP Video

18:21

Future of Haskell: Cabal hell and its denizens

ICFP Video

5:49

Future of Haskell: Refinment types

ICFP Video

14:13

Future of Haskell: Dependent types

ICFP Video

3:54

Lightning: A Nanopass Framework for Haskell

ICFP Video

4:14

Lightning: Propellor

ICFP Video

3:39

Lightning: Dot Products

ICFP Video

4:05

Lightning: Fast Queries

ICFP Video

4:11

Lightning: GHCJS

ICFP Video

4:27

Lightning: Haskell Ray Tracer

ICFP Video

5:03

Lightning: Haskell Roots of Trust

ICFP Video

4:39

Lightning: New Typeable

ICFP Video

3:45

Lightning: Pipes

ICFP Video

5:01

Lightning: Programmable Type Errors

ICFP Video

5:17

Lightning: Type Level Records with Type Functions

ICFP Video