From 293dc6742022713d5275e9edbb876c168d272039 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 25 Feb 2021 08:40:22 +0000
Subject: Update the titles

---
 references.bib | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'references.bib')

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}
+}
-- 
cgit