Fire Up Your Lite-Brite
/- Bocce
- Functional and Reactive Domain Modeling - Debasish Ghosh (2:50)
- right seminear-ring (7:15)
- What the heck is a right-seminearring? (also MonadPlus stuff)
- elmzed (9:00)
- Unison (9:20)
- elm-brands (13:40)
- Freer (16:01)
- recursion schemes (17:01)
- matryoshka (18:40)
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (18:57)
- Unifying Structured Recursion Schemes (19:32)
The DOM in One Hand
/- Strange Loop
- Q&A Panel - ElmConf
- radix sort
- Radix Sort Visualization
- Fritz Henglein
- Generic Top-down Discrimination for Sorting and Partitioning in Linear Time - Fritz Henglein
- Quicker Sort? Implementing generic linear time sorting - Declan Conlon
- Discrimination is Wrong: Improving Productivity - Edward Kmett
- Denotational Design: From Meanings to Programs
- Denotational Semantics
- F-Algebra