/site/events/
../
2022-05-19-reutilisation-effets.html
2022-09-20-gadts-free-monads.html
2023-06-23-haskell.html
2023-10-23-monades-gratuites.html
2024-06-20-types-dependants.html
2024-10-10-lambda-calcul.html
2025-01-30-tests-proprietes.html
2025-03-27-logs-observabilite.html
2025-10-09-lambda-calcul-type.html
2025-11-13-injection-dependances.html
2025-12-10-interprete-prolog.html
2026-02-19-langages-de-niches.html
2026-03-19-plain-pattern-language.html
2026-04-16-atelier-4.html
2026-05-21-programmation-compositionnelle.html