Empathy and subjective experience in programming languages| lexi-lambda.github.io
Defeating Racket’s separate compilation guarantee| lexi-lambda.github.io
Lifts for free: making mtl typeclasses derivable| lexi-lambda.github.io
