@inproceedings{Olmedo:2020:CPP,

author = {D\'{\i}az, Tom\'{a}s and Olmedo, Federico and Tanter, \'{E}ric},

title = {A Mechanized Formalization of GraphQL},

year = {2020},

publisher = {ACM},

booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs},

pages = {201--214}

}