20:46

Bridge Haskell and ReasonML in Production

6 years ago

651 views

32:20

Using Dependent Types in an F# DSL for Linear Algebra

6 years ago

979 views

32:33

The Best Refactoring You’ve Never Heard Of

6 years ago

16,108 views

25:36

Fast Accumulation on Streams

6 years ago

676 views

24:42

Teaching the intersection of mathematics and functional programming

6 years ago

678 views

41:31

Bidirectional Type Checking

6 years ago

6,724 views

26:48

Type Driven Secure Enclave Development using Idris

6 years ago

473 views

22:32

Phylogenetic Software in Haskell

6 years ago

490 views

37:27

A Tase Of ATS

6 years ago

3,981 views

50:18

Compositional Graphical Logic

6 years ago

919 views

21:43

Bowl Full of Lentils

6 years ago

329 views

26:12

Yes, IHaskell Can Do That!

6 years ago

2,017 views

41:56

Stuck macros: deterministically interleaving macro-expansion and typechecking

6 years ago

829 views

32:58

From Rails to Elm and Haskell

6 years ago

1,071 views

23:32

Deploying Haskell in a Python Microservice Environment: Also Robots

6 years ago

712 views

36:43

Applicative Regular Expressions using the Free Alternative

6 years ago

401 views

21:22

Genspio: Generating Shell Phrases In OCaml

6 years ago

326 views

26:28

The anatomy of the F# tools for Visual Studio

6 years ago

1,027 views

42:07

Functors of the World, Unite!

6 years ago

1,537 views

42:40

Making Algorithmic Music

6 years ago

5,042 views