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 Kasper Christensen and Mikkel Hjorth will present an instrument for quantitatively assessing K-12 students' stances towards inquiring into…
- PITalks
- Half-day seminars as discussed
- SummerPIT/some for of ending workshop in the fall.
We would like everybody’s input on this and…
Page 136 of 192