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

diff --git a/clash.bib b/clash.bib
index dbb6b1c..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,27 @@
   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},
@@ -318,11 +339,11 @@
   timestamp = {2010.01.29}
 }
 
-@comment{jabref-meta: selector_journal:}
+@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:}