X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=clash.bib;h=6df0a8609745c8005652ab6b495536638b99c881;hp=dc49b3bbf02f0cd9320ebd0f2e85df288019ae9a;hb=f513b84e02a6bd0215334379dda9b74a19d178ab;hpb=d761eaf56b88d9a83aa096d23e12bb4d724d4c3f

diff --git a/clash.bib b/clash.bib
index dc49b3b..6df0a86 100644
--- a/clash.bib
+++ b/clash.bib
@@ -1,4 +1,4 @@
-% This file was created with JabRef 2.4.2.
+% This file was created with JabRef 2.5.
 % Encoding: MacRoman
 
 @INPROCEEDINGS{Wired,
@@ -286,6 +286,41 @@
   timestamp = {2010.01.20}
 }
 
+@MISC{polymorphism,
+  author = {Strachey, Christopher},
+  title = {Fundamental Concepts in Programming Languages},
+  howpublished = {Lecture Notes, International Summer School in Computer Programming,
+	Copenhagen},
+  month = August,
+  year = {1967},
+  note = {Reprinted in {\em Higher-Order and Symbolic Computation}, 13(1/2),
+	pp. 1--49, 2000},
+  owner = {baaijcpr},
+  timestamp = {2010.02.24}
+}
+
+@ELECTRONIC{ghc,
+  author = {{The GHC Team}},
+  title = {{The Glasgow Haskell Compiler}},
+  url = {http://www.haskell.org/ghc/},
+  owner = {baaijcpr},
+  timestamp = {2010.02.25}
+}
+
+@BOOK{Haskell,
+  title = {{Haskell 98 language and libraries}},
+  year = {2003},
+  editor = {Simon Peyton Jones},
+  volume = {13},
+  number = {1},
+  pages = {1--255},
+  series = {{Journal of Functional Programming}},
+  booktitle = {{Journal of Functional Programming}},
+  journal = {Journal of Functional Programming},
+  owner = {darchon},
+  timestamp = {2010.01.29}
+}
+
 @STANDARD{VHDL2008,
   title = {{VHDL Language Reference Manual}},
   organization = {IEEE},
@@ -295,11 +330,20 @@
   timestamp = {2009.11.17}
 }
 
-@comment{jabref-meta: selector_journal:}
+@STANDARD{Verilog,
+  title = {{Verilog Hardware Description Languages}},
+  organization = {{IEEE}},
+  number = {1365-2005},
+  year = {2005},
+  owner = {darchon},
+  timestamp = {2010.01.29}
+}
+
+@comment{jabref-meta: selector_publisher:}
 
 @comment{jabref-meta: selector_author:}
 
-@comment{jabref-meta: selector_keywords:}
+@comment{jabref-meta: selector_journal:}
 
-@comment{jabref-meta: selector_publisher:}
+@comment{jabref-meta: selector_keywords:}