DMCA

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

by Beta Ziliani , Derek Dreyer , Neelakantan R. Krishnaswami , Aleksandar Nanevski, et al.
Citations:1 - 0 self