Loading Events

« All Events

  • This event has passed.

Colloquium – Ben Greenman

April 15, 2022 @ 10:00 am - 11:00 am

Ben Greenman
Northeastern University

April 15, 2022
3780 WEB


Host: Matthew Flatt

Mixing Typed and Untyped Code: A Tale of Proofs, Performance, and People

For over 50 years now, the choice between typed and untyped code has been the source of lively debates. Languages have therefore begun to support both styles, but doing so presents new challenges at the boundaries that link typed and untyped pieces. The challenges stem from three conflicting dimensions: the expressiveness of typed-untyped mixes, the guarantees that types provide, and the cost of enforcing the guarantees. Even though dozens of languages explore points in this complex design space, they tend to focus on one dimension and neglect the others, leading to a disorganized research landscape.

In this talk, I introduce principled methods to guide the design of languages that mix typed and untyped code. The methods characterize both the behaviors of static types and the run-time cost of enforcing them, and do so in a way that centers on their implications for developers. I have applied these methods to improve existing languages and to implement a new language that bridges major gaps in the design space. My ongoing work is using insights from programmers to drive further advances.


April 15, 2022
10:00 am - 11:00 am
Event Category:


3780 WEB