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.
Abstract:
Infinite objects in programs, such as streams, are usually constructed via self-referential definitions. Such definitions, however, are…
Abstract: Data market is an emerging type of cloud service that enables a data owner to sell their data sets in a public cloud. Buyers who are…
In this talk I examine how place might be a useful concept for addressing the challenges of scaling collaborative and co-located activities beyond…
Page 131 of 192