Media Summary: Description: GraphQL dared to ask, “How can we make REST better for interactive web and mobile applications?” Interestingly, its ... In this talk, we will walk through a concrete example of a boilerplate-heavy domain. By replacing common

Scala Type Level Operations Matt Bovel - Detailed Analysis & Overview

Description: GraphQL dared to ask, “How can we make REST better for interactive web and mobile applications?” Interestingly, its ... In this talk, we will walk through a concrete example of a boilerplate-heavy domain. By replacing common

Photo Gallery

Scala Type-Level Operations – Matt Bovel
Type level Programming in Scala - Matt Bovel
Type-Level Programming in Scala, part 1 | Rock the JVM
Type-Level Programming in Scala 3: How to Prove Type Relationships at Compile Time
Type-Level Programming in Scala, Part 2 | Rock the JVM
Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe
[Scala'25] Logically Qualified Types for Scala 3
Type-level Programming in Scala 101
Joseph Abrahamson - A Better REST with Type level Programming in Scala - λC 2017
A gentle introduction to type level programming in Scala - Marcus Böhm
Typelevel Programming 101: The Subspace of Scala — Joe Barnes
Max Epelbaum: Building a Resilient, Typesafe, and Modelled ETL Framework in Scala
View Detailed Profile
Scala Type-Level Operations – Matt Bovel

Scala Type-Level Operations – Matt Bovel

As

Type level Programming in Scala - Matt Bovel

Type level Programming in Scala - Matt Bovel

In

Type-Level Programming in Scala, part 1 | Rock the JVM

Type-Level Programming in Scala, part 1 | Rock the JVM

Written version: https://blog.rockthejvm.com/

Type-Level Programming in Scala 3: How to Prove Type Relationships at Compile Time

Type-Level Programming in Scala 3: How to Prove Type Relationships at Compile Time

Written form: https://blog.rockthejvm.com/

Type-Level Programming in Scala, Part 2 | Rock the JVM

Type-Level Programming in Scala, Part 2 | Rock the JVM

Written version: https://blog.rockthejvm.com/

Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe

Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe

Learn advanced

[Scala'25] Logically Qualified Types for Scala 3

[Scala'25] Logically Qualified Types for Scala 3

Logically Qualified

Type-level Programming in Scala 101

Type-level Programming in Scala 101

Scala

Joseph Abrahamson - A Better REST with Type level Programming in Scala - λC 2017

Joseph Abrahamson - A Better REST with Type level Programming in Scala - λC 2017

Description: GraphQL dared to ask, “How can we make REST better for interactive web and mobile applications?” Interestingly, its ...

A gentle introduction to type level programming in Scala - Marcus Böhm

A gentle introduction to type level programming in Scala - Marcus Böhm

Type Level

Typelevel Programming 101: The Subspace of Scala — Joe Barnes

Typelevel Programming 101: The Subspace of Scala — Joe Barnes

Scala

Max Epelbaum: Building a Resilient, Typesafe, and Modelled ETL Framework in Scala

Max Epelbaum: Building a Resilient, Typesafe, and Modelled ETL Framework in Scala

Max's talk from the 2019 Northeast

Flexible Modeling: Keeping Your Domain Pure with Scala 3 by Magda Stożek | Scalar 2026

Flexible Modeling: Keeping Your Domain Pure with Scala 3 by Magda Stożek | Scalar 2026

In this talk, we will walk through a concrete example of a boilerplate-heavy domain. By replacing common