Arthur Charguéraud Higher-order representation predicates in separation logic. 3-14 2016 CPP https://doi.org/10.1145/2854065.2854068 https://www.wikidata.org/entity/Q130855338 conf/cpp/2016 db/conf/cpp/cpp2016.html#Chargueraud16