Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
Guido MartínezDanel AhmanVictor DumitrescuNick GiannarakisChris HawblitzelCatalin HritcuMonal NarasimhamurthyZoe ParaskevopoulouClément Pit-ClaudelJonathan ProtzenkoTahina RamananandroAseem RastogiNikhil SwamyPublished in: CoRR (2018)