Projects per year
Fingerprint
- 1 Similar Profiles
Projects
- 1 Active
-
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C., Nordvall Forsberg, F. & Watters, S.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
Research output
- 1 Paper
-
A fresh look at commutativity: free algebraic structures via fresh lists
Kupke, C., Nordvall Forsberg, F. & Watters, S., 29 Nov 2023, (E-pub ahead of print) p. 1-20. 20 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile32 Downloads (Pure)
Prizes
-
APLAS 2023 Best paper award
Nordvall Forsberg, Fredrik (Recipient), Watters, Sean (Recipient) & Kupke, Clemens (Recipient), 20 Oct 2023
Prize: Prize (including medals and awards)
-
Scottish Programming Languages and Verification Summer School 2024
Guillaume Allais (Organiser), Sean Watters (Organiser), Bob Atkey (Organiser), Fredrik Nordvall Forsberg (Organiser), Conor Mc Bride (Organiser), Jan de Muijnck-Hughes (Organiser), Alasdair Lambert (Organiser), Malin Altenmüller (Organiser) & Clemens Kupke (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"
Fredrik Nordvall Forsberg (Contributor), Sean Watters (Speaker) & Clemens Kupke (Contributor)
13 Jun 2024Activity: Talk or presentation types › Oral presentation