From da6f8f9b7d7b1d5ed9c802e34fce4f0e6e5b41ee Mon Sep 17 00:00:00 2001 From: "Eugene Y. Jen" Date: Mon, 9 Sep 2019 16:19:10 -0400 Subject: [PATCH] [FIX_BROKEN_LINKS_ROBERT_HARPER] fix broken link to Robert Harper's collections of research papers --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b211647..5a213da 100644 --- a/README.md +++ b/README.md @@ -80,7 +80,7 @@ We're looking for pull requests related to papers we should add, better organiza * [Readings in Distributed Systems](http://christophermeiklejohn.com/distributed/systems/2013/07/12/readings-in-distributed-systems.html) * [Gradual Typing Bibliography](http://samth.github.io/gradual-typing-bib/) * [Security Data Science Papers](http://www.covert.io/security-datascience-papers/) -* [Research Papers from Robert Harper, Carnegie Mellon University](http://www.cs.cmu.edu/~rwh/papers.html) +* [Research Papers from Robert Harper, Carnegie Mellon University](https://www.cs.cmu.edu/~rwh/papers/index.html) * [Lobste.rs tagged as PDF](https://lobste.rs/t/pdf) * [The Morning Paper](http://blog.acolyer.org/)