X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=thesis.bib;h=74ff54f218395c2ac4a83605f8a91ea9a952247a;hb=8abd2a7a3b4f02b6ba184c83f97e5716f6622ca9;hp=a45ff86c58712ea2fdc309dcfe560555fcc68c58;hpb=d629d19ea2f4447e62425cb7dabdaa8592ba90df;p=bitonic-mengthesis.git

diff --git a/thesis.bib b/thesis.bib
index a45ff86..74ff54f 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -328,3 +328,17 @@ title = {{Giving Haskell a promotion}},
 url = {http://dl.acm.org/citation.cfm?doid=2103786.2103795},
 year = {2012}
 }
+
+@ARTICLE{Loh2010,
+  author = {Andres L{\"o}h and Conor McBride and Wouter Swierstra},
+  title = {A Tutorial Implementation of a Dependently Typed Lambda Calculus},
+  journal = {Fundam. Inform.},
+  year = {2010},
+  volume = {102},
+  pages = {177-207},
+  number = {2},
+  bibsource = {DBLP, http://dblp.uni-trier.de},
+  ee = {http://dx.doi.org/10.3233/FI-2010-304},
+  file = {:home/bitonic/docs/papers/simply-easy.pdf:pdf},
+  owner = {bitonic}
+}