Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Alex Summers from ETH Zurich will visit Programming Languages group and give a talk in that connection.
In this celebratory symposium, we have invited a number of former PhD students and Danish collaborators to reflect on their own work in relation to…
Abstract: I present work by the CMA group that has investigating the collection, organisation and use of constellations of artifacts by members of a…
Page 126 of 192