Merge branch 'add-popl19' #2

nuprl · Mar 24, 2019 · f6b90ee · f6b90ee
2 parents 5763a27 + d906347
commit f6b90ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/publications.rkt b/publications.rkt
@@ -57,7 +57,7 @@
                  "Max New, Dan Licata, and Amal Ahmed"
                  POPL
                  2019
-                 "www.ccs.neu.edu/home/amal/papers/gtt.pdf")
+                 "http://www.ccs.neu.edu/home/amal/papers/gtt.pdf")
     (publication "The Behavior of Gradual Types: A User Study"
                  "Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi"
                  DLS