From c3cb6176f89d66620e09c96f4334e0469b485b59 Mon Sep 17 00:00:00 2001
From: Wolfram Kahl <kahl@cas.mcmaster.ca>
Date: Tue, 6 Jun 2017 22:16:18 -0400
Subject: [PATCH] Bibliography/ref.bib: Fixed float reference.

---
 Bibliography/ref.bib | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/Bibliography/ref.bib b/Bibliography/ref.bib
index 469d2e4..830c8b6 100644
--- a/Bibliography/ref.bib
+++ b/Bibliography/ref.bib
@@ -82,16 +82,18 @@ @manual{ghcprofiling
   year =	 2015
 }
 
-@inbook{jones1996,
-  author =	 {Peyton Jones, Simon and Partain, WD and Santos, A},
-  title =	 {Let-floating: moving bindings to give faster
-                  programs},
+@InProceedings{jones1996,
+  author = {Peyton Jones, Simon and Partain, Will and Santos, Andr{\'e}},
+  title =	 {Let-floating: Moving Bindings to Give Faster
+                  Programs},
   booktitle =	 {ACM SIGPLAN International Conference on Functional
                   Programming (ICFP'96)},
   year =	 1996,
   month =	 {May},
-  publisher =	 {ACM Press},
-  url =
+  pages = {1--12},
+  DOI = {10.1145/232627.232630},
+  publisher =	 {ACM},
+  OPTurl =
                   {https://www.microsoft.com/en-us/research/publication/let-floating-moving-bindings-to-give-faster-programs/}
 }