Typelevel

GSoC with Typelevel Office Hour

Typelevel

Intro to GSoC with Typelevel

Typelevel

How to build a kick-ass remote Scala team – Laurent Parenteau

Typelevel

IO monad & Error management From Exceptions to Cats MTL – Guillaume Bogard

Typelevel

Sleeping well in the lion's den with Monix Catnap – Piotr Gawryś

Typelevel

Keep your sanity with compositional tracing – Jakub Kozlowski

Typelevel

Magnolify all the Things – Neville Li, Claire McGinty

Typelevel

1000+ Compile-time Errors Later and Running Smoothly in Prod – Kevin Meredith

Typelevel

A Zero to Hero Vim + Metals setup for Scala – Chris Kipp

Typelevel

implicit def bias = stereotypes + prejudices – Jeferson David Ossa

Typelevel

Functional Error Handling with Cats – Mark Canlas

Typelevel

You Didn't Know It, but You Really Want to Learn Sequent Calculus – Adam Rosien

Typelevel

Keynote Some Mistakes We Made When Designing Implicits – Martin Odersky

Typelevel

Want to Diversify the Scala Community Here is How You Can Help! – Yifan Xing

Typelevel

GADTs in Dotty – Aleksander Boruch-Gruszecki

Typelevel

TwoFace values a bridge between terms and types – Oron Port

Typelevel

Exploring Scala Tooling ecosystem – Jeferson David Ossa

Typelevel

Formal verification of Scala programs with Stainless – Romain Ruetschi

Typelevel

Lord of the rings the Spire numerical towers – Denis Rosset

Typelevel

Taking Resources to the Type Level – Vilem-Benjamin Liepelt

Typelevel

Actors Design Patterns and Arrowised FRP – Diego Alonso

Typelevel

Brave New World, tales of PureScript and Haskell in production – Felix Mulder

Typelevel

Keynote Higher Inductive Types in Homotopy Type Theory – Kristina Sojakova

Typelevel

Keynote Shared Session Types for Safe, Practical Concurrency – Stephanie Balzer

Typelevel

Telling the Truth with Types – Christopher Davenport

Typelevel

Systematic Software with Scala – Adam Rosien

Typelevel

Portable, type-fancy multidimensional arrays – Ryan Williams

Typelevel

The Monoiad an epic poem on monoids – Greg Pfeil

Typelevel

Composable concurrency with Ref + Deferred – Fabio Labella

Typelevel

Journey to an FP Test Harness – Justin du Coeur (Mark Waks)

Typelevel