From 9481bf54cee0d0bf0322269bfe9ac80d1e394292 Mon Sep 17 00:00:00 2001 From: Eugene Jen Date: Tue, 10 Sep 2019 00:19:58 -0400 Subject: [PATCH] [FIX_BROKEN_LINKS_ROBERT_HARPER] fix broken link to Robert Harper's collections of research papers (#572) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 69414fe..d3ee604 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,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/the-definitive-security-datascience-and-machinelearning-guide/) -* [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/)