diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 08:40:22 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 08:40:22 +0000 |
| commit | 293dc6742022713d5275e9edbb876c168d272039 (patch) | |
| tree | 83692821cfd33c6abc7de515e276baa8027743d8 /references.bib | |
| parent | 153d42af9c630d34e39efc88acbe1ee56fd89fa8 (diff) | |
| download | latte21_hlstpc-293dc6742022713d5275e9edbb876c168d272039.tar.gz latte21_hlstpc-293dc6742022713d5275e9edbb876c168d272039.zip | |
Update the titles
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} +} |