From dc85c93c905b89d8262a5444a4f7f329d9494ca4 Mon Sep 17 00:00:00 2001 From: Max Heiber Date: Sun, 4 Jun 2023 19:55:47 +0100 Subject: [PATCH] Fix broken link to Derek Dreyer's thesis --- src/avoidance.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/avoidance.md b/src/avoidance.md index e308e53..60ac770 100644 --- a/src/avoidance.md +++ b/src/avoidance.md @@ -76,7 +76,7 @@ object Test { [^dreyer]: Fig 4.12 on p. 79 of [Understanding and Evolving the ML -Module System](https://www.cs.cmu.edu/~rwh/theses/dreyer.pdf), Derek +Module System](https://people.mpi-sws.org/~dreyer/thesis/main.pdf), Derek Dreyer (2005) [^crary]: [A Focused Solution to the Avoidance Problem](https://www.cs.cmu.edu/~crary/papers/2020/exsig.pdf), Karl Crary (2020)