@article{DBLP:journals/sigact/Belle14,
	Author = {Vaishak Belle},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Date-Added = {2014-07-27 11:18:10 +0000},
	Date-Modified = {2014-07-27 11:18:10 +0000},
	Ee = {http://doi.acm.org/10.1145/2636805.2636815},
	Journal = {SIGACT News},
	Number = {2},
	Pages = {32-35},
	Title = {Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur},
	Volume = {45},
	Year = {2014}}

{"_id":{"_str":"53d4e0b7f414ae191e00022a"},"__v":0,"authorIDs":["545792562abc8e9f37000523","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"author_short":["Belle, V."],"bibbaseid":"belle-reviewofprogrammingwithhigherorderlogicbydalemillerandgopalannadathur-2014","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","date-added":"2014-07-27 11:18:10 +0000","date-modified":"2014-07-27 11:18:10 +0000","ee":"http://doi.acm.org/10.1145/2636805.2636815","journal":"SIGACT News","number":"2","pages":"32-35","title":"Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur","volume":"45","year":"2014","bibtex":"@article{DBLP:journals/sigact/Belle14,\n\tAuthor = {Vaishak Belle},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tDate-Added = {2014-07-27 11:18:10 +0000},\n\tDate-Modified = {2014-07-27 11:18:10 +0000},\n\tEe = {http://doi.acm.org/10.1145/2636805.2636815},\n\tJournal = {SIGACT News},\n\tNumber = {2},\n\tPages = {32-35},\n\tTitle = {Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur},\n\tVolume = {45},\n\tYear = {2014}}\n\n","author_short":["Belle, V."],"key":"DBLP:journals/sigact/Belle14","id":"DBLP:journals/sigact/Belle14","bibbaseid":"belle-reviewofprogrammingwithhigherorderlogicbydalemillerandgopalannadathur-2014","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2636805.2636815"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=https://dblp.org/pid/52/570.bib&msg=embed"}},"downloads":6},"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/s/jwpnfg9gs3q2698/web.bib","creationDate":"2014-07-27T11:21:27.491Z","downloads":6,"keywords":[],"search_terms":["review","programming","higher","order","logic","dale","miller","gopalan","nadathur","belle"],"title":"Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur","year":2014,"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}