%0 Journal Article %1 journals/cacm/Chlipala16 %A Chlipala, Adam %D 2016 %J Commun. ACM %K dblp %N 8 %P 93-100 %T Ur/Web: a simple model for programming the web. %U http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#Chlipala16 %V 59

@article{journals/cacm/Chlipala16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chlipala, Adam}, biburl = {https://www.bibsonomy.org/bibtex/20243c1fdbfa0dad5829f7d85b00256ad/dblp}, ee = {https://doi.org/10.1145/2958736}, interhash = {a55e404c9fca8e088bf33f8a74b73bbd}, intrahash = {0243c1fdbfa0dad5829f7d85b00256ad}, journal = {Commun. ACM}, keywords = {dblp}, number = 8, pages = {93-100}, timestamp = {2018-11-07T11:53:40.000+0100}, title = {Ur/Web: a simple model for programming the web.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#Chlipala16}, volume = 59, year = 2016 }