European Symposium on Programming

Allais, G. (Speaker)

Activity: Participating in or organising an event types › Participation in conference

Description

Giving a talk associated to my paper

Period	22 Apr 2023 → 27 Apr 2023
Event type	Conference
Conference number	32
Location	Paris, FranceShow on map
Degree of Recognition	International

Related content

Research output
Builtin types viewed as inductive families
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book