Agda Implementors' Meeting XXIII
- James Chapman (Organiser)
- Nordvall Forsberg, F. (Organiser)
Activity: Participating in or organising an event types › Organiser of special symposia
Activity: Participating in or organising an event types › Organiser of special symposia