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.
Joint work with Martin Eik Rasmussen
Abstract:
Gradual typing combines static and dynamic typing in the same program. One would hope that the performance in a gradually typed language…
The C programming language is among the most widely used programming languages in the world due to its performance and portability…
Page 128 of 192