跳到主要内容
10.1145/工程-99658673896作者do系列主页作者简介作者-do

卡斯珀·巴赫·鲍尔森

我研究指定和实现编程语言。我对类型安全语言特别感兴趣,即带有类型检查器的语言,可验证地保证程序中没有错误。我的研究重点是使语言设计者能够有效定义和验证类型安全语言,并随着语言的发展维护语言定义的原则、技术和工具。
跳过幻灯片
文献计量学

主题领域

按年份列出的发布项目

关键词

同事协作

作者的最新出版物

最受欢迎