@inproceedings{DBLP:conf/ecoop/Muijnck-HughesV19,
  author    = {Jan de Muijnck{-}Hughes and
               Wim Vanderbauwhede},
  editor    = {Alastair F. Donaldson},
  title     = {A Typing Discipline for Hardware Interfaces},
  booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
               July 15-19, 2019, London, United Kingdom},
  series    = {LIPIcs},
  volume    = {134},
  pages     = {6:1--6:27},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.6},
  doi       = {10.4230/LIPIcs.ECOOP.2019.6},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/Muijnck-HughesV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"d9qu5sDnf54TFfMj8","bibbaseid":"demuijnckhughes-vanderbauwhede-atypingdisciplineforhardwareinterfaces-2019","author_short":["de Muijnck-Hughes, J.","Vanderbauwhede, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jan"],"propositions":["de"],"lastnames":["Muijnck-Hughes"],"suffixes":[]},{"firstnames":["Wim"],"propositions":[],"lastnames":["Vanderbauwhede"],"suffixes":[]}],"editor":[{"firstnames":["Alastair","F."],"propositions":[],"lastnames":["Donaldson"],"suffixes":[]}],"title":"A Typing Discipline for Hardware Interfaces","booktitle":"33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom","series":"LIPIcs","volume":"134","pages":"6:1–6:27","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2019","url":"https://doi.org/10.4230/LIPIcs.ECOOP.2019.6","doi":"10.4230/LIPIcs.ECOOP.2019.6","timestamp":"Tue, 11 Feb 2020 15:52:14 +0100","biburl":"https://dblp.org/rec/conf/ecoop/Muijnck-HughesV19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecoop/Muijnck-HughesV19,\n author = {Jan de Muijnck{-}Hughes and\n Wim Vanderbauwhede},\n editor = {Alastair F. Donaldson},\n title = {A Typing Discipline for Hardware Interfaces},\n booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,\n July 15-19, 2019, London, United Kingdom},\n series = {LIPIcs},\n volume = {134},\n pages = {6:1--6:27},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2019},\n url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.6},\n doi = {10.4230/LIPIcs.ECOOP.2019.6},\n timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},\n biburl = {https://dblp.org/rec/conf/ecoop/Muijnck-HughesV19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["de Muijnck-Hughes, J.","Vanderbauwhede, W."],"editor_short":["Donaldson, A. F."],"key":"DBLP:conf/ecoop/Muijnck-HughesV19","id":"DBLP:conf/ecoop/Muijnck-HughesV19","bibbaseid":"demuijnckhughes-vanderbauwhede-atypingdisciplineforhardwareinterfaces-2019","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.ECOOP.2019.6"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/5494.bib","dataSources":["3FfWbhwhwkWW8PpCL"],"keywords":[],"search_terms":["typing","discipline","hardware","interfaces","de muijnck-hughes","vanderbauwhede"],"title":"A Typing Discipline for Hardware Interfaces","year":2019}