Mtac: A monad for typed tactic programming . . . (2015)

by Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, et al.