31:23

George Wilson - An Intuition for Propagators - Compose Melbourne 2019

26:53

Jack Kelly - Reflex Outside the Browser - Compose Melbourne 2019

28:45

Brendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne 2019

24:25

Svetlana Marina - Day-to-Day Property Based Testing in Scala - Compose Melbourne 2019

42:40

Ambrose Bonnaire Sergeant - The Hidden Data Flow in Types - Compose Melbourne 2019

20:46

Bridge Haskell and ReasonML in Production

32:20

Using Dependent Types in an F# DSL for Linear Algebra

32:33

The Best Refactoring You’ve Never Heard Of

25:36

Fast Accumulation on Streams

24:42

Teaching the intersection of mathematics and functional programming

41:31

Bidirectional Type Checking

26:48

Type Driven Secure Enclave Development using Idris

22:32

Phylogenetic Software in Haskell

37:27

A Tase Of ATS

50:18

Compositional Graphical Logic

21:43

Bowl Full of Lentils

26:12

Yes, IHaskell Can Do That!

41:56

Stuck macros: deterministically interleaving macro-expansion and typechecking

32:58

From Rails to Elm and Haskell

23:32

Deploying Haskell in a Python Microservice Environment: Also Robots

36:43

Applicative Regular Expressions using the Free Alternative

21:22

Genspio: Generating Shell Phrases In OCaml

26:28

The anatomy of the F# tools for Visual Studio

42:07

Functors of the World, Unite!

42:40

Making Algorithmic Music

29:53

Dave Yarwood - A music composition language with a functional backbone - Compose Melbourne 2018

26:05

Elias Jordan - Life Is A Comonad - Compose Melbourne 2018

30:07

David Barri - Quantifiers in Programming - Compose Melbourne 2018

27:52

Andrew McCluskey - Appetite for dysfunction - Compose Melbourne 2018

24:37

Kevin Yank - Elm at Scale: Surprises and Pain Points - Compose Conference 2018

28:04

Laws! - George Wilson - Compose Melbourne 2018

25:53

Tim McGilchrist - Dependently Typed State Machines - Compose Melbourne 2018

29:15

Rohit Grover - Prototype Driven Development using Haskell - Compose Melbourne 2018

28:49

Dr. Paul Bone - AST to WebAssembly: Writing a code generator - Compose Melbourne 2018

28:09

Jo Cranford - Drinking the Elixir - Compose Melbourne 2018

25:52

Sean Chalmers - Reflexive Art - Compose Melbourne 2018

49:51

Julie Moronuki - Keynote - The Unreasonable Effectiveness of Metaphor - Compose Melbourne 2018

24:48

Teaching Haskell

41:05

Implementing an Event Driven Microservices Architecture in F#

28:18

Compose :: Melbourne 2017 - Huw Campbell - Grenade - Dependently Typed Neural Networks in Haskell

29:21

Compose :: Melbourne 2017 - Jurriaan Hage - Domain-Specific Type Error Diagnosis in GHC

25:14

Compose :: Melbourne 2017 - Luke Stephenson - Reactive Streams for REA feeders

27:16

Compose :: Melbourne 2017 - Keira Hodgkison - The Why and How of ReasonML

28:16

Compose :: Melbourne 2017 - Ronen Narkis - Re-ops, a Functional Live-Infrastructure as Code

30:35

Compose :: Melbourne 2017 - Tony Morris - FP in Aviation

29:16

Compose :: Melbourne 2017 - Justin Bedő - BioShake: A Haskell EDSL for Bio-Informatics Pipelines

30:37

Compose :: Melbourne 2017 - George Wilson - Type Class: The Ultimate Ad Hoc

26:38

Compose :: Melbourne 2017 - Pei Shi Yong - React: JS vs ClojureScript

40:12

Distrest: REST access to distributed services

22:48

Working with Monads in OCaml

30:52

Smart Contracts and Formal Verification with Z3 with Pact

28:26

QuickFuzz Testing for Fun and Profit

30:16

Compose :: Melbourne 2017 - Rahul Trikha - From JavaScript to PureScript

27:28

Compose :: Melbourne 2017 - Andrew McCluskey - Your first Haskell app

43:41

Compose :: Melbourne 2017 - Andrew Sorenson - Keynote

44:08

Learning F#: Case study with branch and bound

46:40

The Probability Monad

40:13

Typed Tagless Final Bioinformatics

26:07

Reactive Sheets: an intuitive approach to functional‐reactive computing

42:34

`choose` Your Own Derivative

30:37

Lock-step simulation is child’s play

1:12:41

A Categorical View of Computational Effects

21:48

Sean Seefried - The Joy of Refactoring with Strong, Static Types

23:28

Brian McKenna - Productionisation of Functional Optics

25:46

Finlay Thompson - Cloud-Haskell to Build a Continuous-Integration Platform for Reproducible Research

26:33

Alistair Roche - Datomic in Production

28:56

Lee Naish - Equational Reasoning and Intended Semantics in Functional Programming

24:29

Ben Hutchison - Getting Work Done with the Eff Monad in Scala

21:57

George Wilson - The Extended Functor Family

21:09

Kris Jenkins - Types All The Way Down

23:38

Magdalena Cassel & Aaron Edwards - Functional Eyes

30:17

Paul Bone - Plasma Programming Language

25:05

Sharon Holliday - Practical Programming in an Exception Free World

44:00

M.M.T Chakravarty - Playing with Graphics and Animations in Haskell

43:31

Analyzing Programs with Z3

48:30

Functional Reactive Programming for Natural User Interface

53:00

Parallel Algorithmic Differentiation for OCaml

53:36

Liquid Types for Haskell

22:53

Ionide and the State of F# Open Source Environment

54:11

Fun with GHCJSi

40:33

Easy Native GUIs in Haskell, Today!

56:49

Cryptography and Verification with Cryptol

51:35

Improving Type Error Localization for Languages with Type Inference

51:09

(Nearly) Everything You Ever Wanted to Know About F# Active Patterns but were Afraid to Ask

41:08

'There and Back Again' and What Happened After

31:08

Chaos Engineering at Jet

35:26

Composing Network Operating Systems

48:54

Dynamic Typing in GHC

39:52

Add a type parameter! One 'simple' design change, a panoply of outcomes

40:58

The Intersection of Machine Learning, Types and Testing

1:00:55

How to Bake 'How to Bake Pi': Reflections on Making Abstract Math Palatable