@InProceedings{KoikaDSL+CoqPL2021,
  author       = {Martínez, Guido and Ahman, Danel and Dumitrescu, Victor and
                  Giannarakis, Nick and Hawblitzel, Chris and Hriţcu, Cătălin
                  and Narasimhamurthy, Monal and Paraskevopoulou, Zoe and
                  Pit-Claudel, Clément and Protzenko, Jonathan and Ramananandro,
                  Tahina and Rastogi, Aseem and Swamy, Nikhil},
  title        = {ML as a Tactic Language, Again},
  booktitle    = {ML Family Workshop at ICFP 2018},
  year         = 2018,
  url          = {https://pit-claudel.fr/clement/papers/fstar-tactics-ML18.pdf}
}