Write a Blog >>
Michael Ballantyne

Registered user since Sat 29 Apr 2017

Name: Michael Ballantyne

Bio: Michael Ballantyne is a PhD student at the Northeastern University Programming Research Laboratory, advised by Matthias Felleisen. He envisions a future where mainstream programmers regularly create, extend, and fluidly intermix domain-specific languages, with excellent support from their programming language and environment. Recently he’s been developing a formal characterization of macro hygiene that accounts for the full range of program transformations used in embedded DSL implementation, and also improving the type systems as macros approach to integrate macro expansion and typechecking.

Country: United States

Affiliation: PLT @ Northeastern University

Personal website: http://mballantyne.net/

Research interests: Macro Systems, Staging, Program Synthesis


POPL 2020Author of Dependent Type Systems as Macros within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile