From a859220c739395803573893936de9e11da335e64 Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Wed, 17 Jul 2019 21:01:08 +0200
Subject: [PATCH 1/1] link to paper that also mentions this (but does not give
many details)
---
ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md b/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md
index 9e682cb..bc9a8c9 100644
--- a/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md
+++ b/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md
@@ -15,8 +15,8 @@ In this post, I will explain the cause of this exponential blowup.
-I should note that this observation is not new, it already occurs in [FranÃ§ois Garillot's PhD thesis](https://pastel.archives-ouvertes.fr/pastel-00649586) and even the authors of the "unbundled" paper already note having performance problems when scaling up.
-The goal of this post is to provide a more self-contained presentation, not requiring all the context set up in that thesis and going into more details than the brief remark in the original paper.
+I should note that this observation is not new, it already occurs in [FranÃ§ois Garillot's PhD thesis](https://pastel.archives-ouvertes.fr/pastel-00649586), a [paper by the same author](https://hal.inria.fr/inria-00368403v2/document) and even the authors of the "unbundled" paper already note having performance problems when scaling up.
+The goal of this post is to provide a more self-contained presentation, not requiring all the context set up in that thesis and going into more details than the brief remarks the two papers.
## Unbundled groups
--
2.20.1