Hello!

My name's Carlo, and I'm a PhD student at the Australian National University in programming languages.

My focus is on gradual typing: type systems which combine a static type system with a dynamic type system, allowing the programmer to move between the two at will.

Many gradually typed programming languages attempt to retrofit a gradual type system on top of an existing language (Python, JavaScript, etc.). However, I am building on the work of my supervisor, Fabian Muehlboeck, towards an industrial from-scratch gradually typed language.

You can find me on Mastodon, and you can find my code on GitHub and sourcehut. Or you can send me an email.