TypeVille Events | What activities awaits you?

LOADING

event-card

Talk about Unison

Adam Warski

event-card

Akka Typed

Hugh McKee

event-card

The power of TypeScript

Marcin Moskała

Marcin Moskała

event-card

Outdoor Adventures - More Details Coming Soon!

event-card

Contextual abstractions in Scala 3

Magda Stożek

event-card

The higher order of types

Marcin Baraniecki

Marcin Baraniecki

event-card

Ubiquitous Language with Kotlin

Jakub Pierzchlewicz

Jakub Pierzchlewicz

event-card

Generics everywhere - but they are not the same

Adam Furmanek

event-card

Avoid Traps in TypeScript’s Type Safety Model - a Practical Guide

Tomasz Ducin

event-card

How I Understood Monad Transfomers

Jacek Kunicki

event-card

Typesafe concurrency with object capabilities for the JVM (and your own good)

Jarosław Pałka

Jarosław Pałka

event-card

Pure Kotlin

Jarek Ratajski

event-card

Type safe state management of Promises in React

Piotr Majcher

event-card

Typed Interaction with Session Types

Tomas Mikula

event-card

Haskell Talk

Paweł Szulc

event-card

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

Anton Keks

event-card

Types as Tools for Thought

Chris Krycho

event-card

Runtime Staging compiler for a computer game

Anatolii Kmetiuk

Anatolii Kmetiuk

event-card

Type-inference based dependency-injection (in Scala)

Valentin Willscher

Valentin Willscher

event-card

Type cardinality as a software quality metric

Rodolfo Hansen

event-card

The curious case of generics in Go

Tomasz Kogut

event-card

The case for Rust in enterprise software

Luca Palmieri

event-card

Static typing in Python

Michał Gutowski

Michał Gutowski

Get your TypeVille Package now!

Immerse yourself into TypeSafety world

Experience something like never before - an all-inclusive tech conference in the Polish mountains