Defeating Racket’s separate compilation guarantee| lexi-lambda.github.io
Custom core forms in Racket, part II: generalizing to arbitrary expressions and internal definitions| lexi-lambda.github.io
Reimplementing Hackett’s type language: expanding to custom core forms in Racket| lexi-lambda.github.io