Name: Apéro Idris N°1
Start: 2017-10-12T19:30:00+02:00
End: 2017-10-12T22:30:00+02:00
Location: Hall's Beer Tavern

Retrouvons nous pour discuter d'Idris, de types, de vous expériences ou simplement par curiosité autour d'un verre au Hall's Beer Tavern le Jeudi 12 octobre à 19h30.

Christophe Calvès

Paris Idris Group

Technology

Software Development

Functional Programming

Logic

Software QA and Testing

Category Theory

Type Theory

Functors and Monads

Agda

Idris

Dependently Typed Programming

Valentin Kasas

Yannick Caillé

Etienne Couritas

Jean-Sébastien Bour

Julien Tournay

Benoit Lemoine

Nicolas Rinaudo

Apéro Idris N°1

Hall's Beer Tavern

Partager cet événement

Apéro Idris N°1

Détails