From b229cb035a00e9891e2d647005d7ba8778540b14 Mon Sep 17 00:00:00 2001 From: Kartik Singhal Date: Sun, 16 Oct 2022 14:27:57 -0500 Subject: [PATCH] Fix broken link --- src/polymorphic-references.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/polymorphic-references.md b/src/polymorphic-references.md index baa5907..a144a80 100644 --- a/src/polymorphic-references.md +++ b/src/polymorphic-references.md @@ -221,7 +221,7 @@ There are several solutions: [^elm]: (2015) -[^greiner]: [Weak Polymorphism Can Be Sound](https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5096&rank=1), John Greiner (1996) +[^greiner]: [Weak Polymorphism Can Be Sound](https://doi.org/10.1017/S0956796800001593), John Greiner (1996) [^leroy]: [Polymorphic type inference and assignment](https://hal.inria.fr/hal-01499974/), Xavier Leroy and Pierre Weis (1991)