Research

Evolving Languages Faster with Type Tailoring

15 Jul 2024

Featured

Programming-Languages, Research

Programming languages are too slow! I’m not talking about execution speed—I’m talking about evolution speed. Programmers are always building new libraries and embedded DSLs, but the host programming language—particularly its type system—doesn’t understand the domain-specific aspects of these things.

...

Control-Flow Analysis

27 Jul 2021

Programming, Computer-Science, Research, Cfa

Control-Flow Analysis is a popular technique for performing static analysis of many different kinds of programming languages. It’s most often needed in cases where you have some kind of dynamic dispatch: either where you have first-class functions or when you have objects and you call one of their methods.

...