{"inproceedings":{"@attributes":{"key":"conf\/cpp\/AmbalLS22","mdate":"2022-01-17"},"author":["Guillaume Ambal","Sergue\u00ef Lenglet","Alan Schmitt"],"title":"Certified abstract machines for skeletal semantics.","pages":"55-67","year":"2022","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/3497775.3503676","crossref":"conf\/cpp\/2022","url":"db\/conf\/cpp\/cpp2022.html#AmbalLS22"}}