1:00:49

The current state of the Haskell Foundation

1:05:00

Programming with Tactics

1:14:53

A Walk-through of Computational Reflection in Coq - Boston Haskell Meetup

1:32:48

Monoidal Parsing - Boston Haskell Meetup

1:26:06

Algebraic Databases - Boston Haskell Meetup

1:40:51

Thomas Dietert - Introduction to Cryptocurrencies in Haskell

1:09:36

James Koppel - Cracking Multi-Language Transformations

1:52:19

Cody Roux - SMT for DSLs: a Tutorial

None

Boston Haskell Live Stream

1:08:44

Faré Rideau - First-class implementations

1:10:40

Alexey Radul - Probabilistic Programming Live-code

56:44

Austin Seipp - binary-serialize-cbor

57:26

Composing (Music) in Haskell - Stuart Popejoy

36:14

Haskell, Startups, and Domain Specific Languages

1:00:51

James Larisch - Haskell Code Review!

36:02

Edward Kmett - Undecidable Superclasses

11:12

On Reflex - Boston Haskell - Greg Hale

20:38

Dimensional - Douglas McClean - Boston Haskell

1:53:24

Edward Kmett - Propagators - Boston Haskell

2:31:51

Julian Arni - Servant - Boston Haskell

1:28:42

Paul Chiusano on csound-expression

24:16

Alec Heller - Skete: Exploring Distributed Package Management

1:01:25

Chris Casinghino - Making Dependent Types Practical

1:06:54

Ryan Trinkle - Reflex: Practical Functional Reactive Programming

1:41:41

Anthony Cowley - Framing the Discussion with EDSLs

59:41

Rishiyur S. Nikhil - Enigmatic Haskell, Haskellish Enigma

1:17:01

Cody Roux - Pure Type Systems

1:04:34

Adam Chlipala - Ur/Web

1:42:53

Edward Kmett - Type Classes vs. the World

54:37

Ryan Wisnesky - A Functorial Query Language

54:00

Tim Braje - A Quick Introduction To Haskell

2:02:09

Boston Haskell Lightning talks - Dec. 2014

1:40:46

Ranjit Jhala - Liquid Haskell

58:33

Kenneth Foner - Getting a Quick Fix of Comonads