活动
加载中...
Virtual/Online | 2020年5月
The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting results that are already coming…