This month’s events
Filter
Filtered by:
Clear all filters
2 results found
Fully-matching results
-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar
Edwin Brady will present Efficient Type-checking of a Dependently Typed Programming Language Abstract: Idris is a dependently typed programming language, which...
-
Computer Science PGR Seminar
Tilcia Woodville-Price & Zipei Li
All are welcome to listen to our speakers Tilcia Woodville-Price and Zipei Li. Tilcia Woodville-Price will present Visualizing Uncertainty with Icon Arrays:...