Guillaume Andrieu
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- DevFest Toulouse3 editions2018–2023
on a stage with
who talks about the same things
- Alexandre Delattre3 talks
- Simon Vergauwen6 talks
- Jake Keuhlen3 talks
- Jorge Castillo6 talks
- Alejandro Serrano Mena14 talks
- Jim Newton3 talks
| title | conference | date |
|---|---|---|
| Programs and Proofs — Dependent Typing as a Way to Structure Your Code | DevFest Toulouse 2023 | 2023-11-16 |
An introduction to dependent types using Idris2 that explains how types can be treated as values and indexed by runtime values. It shows two simple examples… | ||
| The Troll in Your Machine — A Brief Introduction to the Thought of Jean-Yves Girard | DevFest Toulouse 2019 | 2019-10-03 |
Overview of Jean-Yves Girard’s contributions: the system F (polymorphic lambda calculus), linear logic, and the Girard paradox. Shows links between Girard’s… | ||
| Introduction to Arrow | DevFest Toulouse 2018 | 2018-11-08 |
Arrow is presented as a Kotlin library that brings typeclass-style abstractions to the language and consolidates earlier separate libraries into one Arrow… | ||
| nothing matches | ||