Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure.

Lawrence Dunn, Val Tannen, Steve Zdancewic

Browse the full ITP paper archive.