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:
Compilers are often all about speed. But what if your applications grow too large to comfortably fit on devices or consume too much…
Two User Experience Consultants from LEGO invite you to an interactive session to discuss:
- What is User Experience?
- Why Is it important for…
Page 122 of 192