48:33

Eyjafjallajökull Lecture 2019—Paweł Szulc

1:07:52

Emily Pillmore: Type Arithmetic and the Yoneda Lemma

47:16

Mirco Dotta—Crack Open Sbt and Master your Build Times

46:29

Jakub Kozłowski—A Sky Full of Streams

1:03:33

Roland Kuhn—Meshing Robots and Humans with Distributed Apps

38:47

Andy Scott—Code by Shape

41:46

Justin Kaeser—Integrating Developer Experiences

49:05

Jon Pretty—Fast and Furious

36:43

Paolo Giarrusso—The DOT Calculus: An Introduction for Scala Programmers

1:00:18

Adam Warski—Designing Programmer-Friendly APIs

48:32

Dale Wijnand—How to Totally Fix PartialFunction

49:19

Daniel Beskin—Compile-time Logic Programming in Scala: what for?

55:31

Nicolas Rinaudo—Much Ado About Testing

38:43

Zoë Weil—A Learning Story: Love, Scala & Artificial Intelligence

46:34

Jorge Vicente Cantero—Design Challenges of Bloop

58:57

Bartosz Milewski—Live-coding with Universal Constructions

49:15

Alceste Scalas—Effpi: Verified Message-Passing Programs in Dotty

45:02

Guillaume Martres—Scala 3, Type Inference and You!

54:52

Luka Jacobowitz—Monoids, Monoids, Monoids

59:42

Fabio Labella—How do Fibers Work? A Peek Under the Hood

1:00:27

Sam Aaron—Sonic Pi

42:19

Validating SQL at the Type Level—Tamer AbdulRadi

36:52

The 2016 Eyjafjallajökull Lecture—Bodil Stokke

1:35:56

Brian Clapper—Spark for Scala Developers

57:15

Edmund Noble—Data, and when not to use it

36:00

How to Build a Functional API—Julien Truffaut

45:45

Free Monads—Paweł Szulc

1:16:36

A Pragmatic Introduction to Category Theory—Daniela Sfregola

41:48

A Tale of Two Monix Streams—Alexandru Nedelcu

44:53

Simplicity in Composition—Adelbert Chang

43:39

Some Trends in Open Source & the State of the Scala Center—Heather Miller

42:50

The 2017 Eyjafjallajökull Lecture—Viktor Klang

50:56

Exploring Decision Trees with Matryoshka—Zainab Ali

41:23

Introduction to ScalaCheck—Noel Markham

38:57

The New Collections Library for Scala 2.13 and Dotty—Stefan Zeiger

1:14:39

Encoding Async Graphs with Dependent Types—Jon Pretty

57:54

Scala World Closing Panel 2016

42:56

Mastering Typeclass Induction—Aaron Levin

18:10

Scala World 2017 Closing Remarks

42:14

Adventures in Efficiency and Performance—Dmitry Petrashko

50:32

Fast Immutable Interval Sets—Rüdiger Klaehn

18:10

Yulia Tsernant

45:50

The Unison Language and its Scala-based Runtime—Paul Chiusano

1:21:25

Describing Data...with free applicative functors (and more)—Kris Nuttycombe

1:29:02

Scalafix Workshop—Gabriele Petronella

41:40

DOT: Scala Types from Theory to Practice—Nada Amin

42:07

Monoidal Parsing—Edward Kmett

3:11

Josh Suereth: Phil Bagwell Award Winner 2017

1:16:40

The Type Astronaut's Guide to Shapeless—Dave Gurnell

42:40

Tales from Compiling to the JVM—Lukas Rytz

53:20

Writing a Compiler Plugin or Macro—Sam Halliday & Rory Graves

50:24

Enterprise Algebras—Tim Perrett

43:06

The Story of a Parallel Scala Library—Vlad Ureche

57:37

Generic Derivation: The Hard Parts—Travis Brown

44:17

Distributed Systems vs Compositionality—Roland Kuhn

1:06:24

Scala World Opening Keynote—Martin Odersky

1:24:00

Essential vs Accidental Complexity in Scala & Dotty—Andrew Phillips

56:23

For: What is it good for?—Josh Suereth & Dick Wall

45:10

Can we make concurrency in Scala safer?—Philipp Haller

32:47

Staged Parser Combinators—Manohar Jonnalagedda

45:04

First-class Coroutines for Scala—Aleksandar Prokopec

1:11:57

A Whirlwind Tour of scala.meta—Ólafur Páll Geirsson

36:29

Managing Your Resources—Denys Shabalin

51:35

Pure Functional Database Programming with Fixpoint Types—Rob Norris

43:36

Quaich: A "serverless" Scala microframework for AWS Lambda—Brendan McAdams

45:37

Beyond Scala Lenses—Julien Truffaut

1:36:41

Hands-on Scala.Meta — Eugene Burmako

1:30:35

Scala.js Workshop — Sébastien Doeraene

45:38

Scala and the JVM as a Big Data Platform — Dean Wampler

45:02

Précepte — Julien Tournay & Pascal Voitot

45:19

A Snorkelling Excersion into Bugfixing — Simon Ochsenreither

1:34:21

Formal Logic Undressed — Paul Snively

46:37

A Deep Dive into Scalac — Chris Birchall

38:47

A Dance with Tools — Iulian Dragoş

1:34:56

An Unexceptional Scalaz Workshop — Chris Marshall

45:30

Move Over Free Monads: Make Way for Free Applicatives! — John de Goes

51:11

The Need for Async — Konrad Malawski

52:27

Functional Patterns in Domain Modeling — Debasish Ghosh

51:40

Constraints Liberate, Liberties Constrain — Runar Bjarnason

51:11

When Types are Not Enough — Lars Hupel

52:11

Practical Binary with Scodec — Michael Pilquist

46:53

Simplifying Scala Collections — Bill Venners

51:11

Hands-on Typelevel Scala — George Leontiev

46:36

Type-Driven Development in Idris — Edwin Brady

1:04:31

Lawful Asynchronous Programming — Daniel Spiewak

56:38

Kittens: Shapeless Typeclass Derivation for Cats — Miles Sabin

1:39:24

Hands-on Dotty — Dmitry Petrashko

1:32:45

Principles for Modular, Functional, Approachable Libraries — Erik Osheim

1:31:07

Reactive Streams / Akka Streams — Mathias Doenitz & Johannes Rudolph

45:07

Typelevel Programming 101: The Subspace of Scala — Joe Barnes

32:25

Things and Cothings — Paul Phillips

59:27

Minimizing the Slippery Surface of Failure — Jon Pretty