@inproceedings{freek2011a,
	Author = {Freek Wiedijk},
	Booktitle = {Types for Proofs and Programs, TYPES 2009, Revised Selected Papers, EPTCS 53},
	Date-Added = {2014-11-16 23:05:21 +0000},
	Date-Modified = {2014-11-16 23:06:42 +0000},
	Editor = {T. Hirschowitz},
	Pages = {47--61},
	Title = {Stateless HOL},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/stateless.pdf},
	Year = {2011}}

{"_id":"Nk2D8hDoRx48f6nf9","bibbaseid":"wiedijk-statelesshol-2011","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Types for Proofs and Programs, TYPES 2009, Revised Selected Papers, EPTCS 53","date-added":"2014-11-16 23:05:21 +0000","date-modified":"2014-11-16 23:06:42 +0000","editor":[{"firstnames":["T."],"propositions":[],"lastnames":["Hirschowitz"],"suffixes":[]}],"pages":"47–61","title":"Stateless HOL","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/stateless.pdf","year":"2011","bibtex":"@inproceedings{freek2011a,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {Types for Proofs and Programs, TYPES 2009, Revised Selected Papers, EPTCS 53},\n\tDate-Added = {2014-11-16 23:05:21 +0000},\n\tDate-Modified = {2014-11-16 23:06:42 +0000},\n\tEditor = {T. Hirschowitz},\n\tPages = {47--61},\n\tTitle = {Stateless HOL},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/stateless.pdf},\n\tYear = {2011}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Hirschowitz, T."],"key":"freek2011a","id":"freek2011a","bibbaseid":"wiedijk-statelesshol-2011","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/stateless.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["stateless","hol","wiedijk"],"title":"Stateless HOL","year":2011}