diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/references.bib b/references.bib index b05f07f..9b5fd27 100644 --- a/references.bib +++ b/references.bib @@ -244,3 +244,19 @@ location = {Monterey, CA, USA}, series = {FPGA '11} } + +@inproceedings{bourgeat20_essen_blues, + author = {Bourgeat, Thomas and Pit-Claudel, Cl\'{e}ment and Chlipala, Adam and Arvind}, + title = {The Essence of Bluespec: A Core Language for Rule-Based Hardware Design}, + booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation}, + year = 2020, + pages = {243-257}, + doi = {10.1145/3385412.3385965}, + url = {https://doi.org/10.1145/3385412.3385965}, + address = {New York, NY, USA}, + isbn = 9781450376136, + location = {London, UK}, + numpages = 15, + publisher = {Association for Computing Machinery}, + series = {PLDI 2020} +} |