Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content

Casper Bach Poulsen

I do research on specifying and implementing programming languages. I am particularly interested in type safe languages, i.e., languages with type checkers that verifiably guarantee the absence of errors in programs. My research focuses on principles, techniques, and tools that enable language designers to effectively define and verify type safe languages, and to maintain language definitions as a language evolves.
Skip slideshow
Reflects downloads up to 12 Jan 2025Bibliometrics

Subject Areas

Published Items by Year

Keywords

Colleague Collaboration

Author’s Latest Publications

Most Popular