TypeVille Conference Agenda

Outdoor Adventures - More Details Coming Soon!

Talk about Unison

Adam Warski

Pure Kotlin

Jarek Ratajski

Type safe state management of Promises in React

Piotr Majcher

Typed Interaction with Session Types

Tomas Mikula

Haskell Talk

Paweł Szulc

Klite - how Kotlin enables small, light, non-blocking server app framework with zero dependencies

Anton Keks

Types as Tools for Thought

Chris Krycho

Runtime Staging compiler for a computer game

Anatolii Kmetiuk

Type-inference based dependency-injection (in Scala)

Valentin Willscher

Type cardinality as a software quality metric

Rodolfo Hansen

The curious case of generics in Go

Tomasz Kogut

The case for Rust in enterprise software

Luca Palmieri