link to paper that also mentions this (but does not give many details)
authorRalf Jung <post@ralfj.de>
Wed, 17 Jul 2019 19:01:08 +0000 (21:01 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 17 Jul 2019 19:01:08 +0000 (21:01 +0200)
ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md

index 9e682cb54109593d774e9b8de8c187bb33b894a0..bc9a8c99f2534557e2c0e14192da183640a3bd9e 100644 (file)
@@ -15,8 +15,8 @@ In this post, I will explain the cause of this exponential blowup.
 
 <!-- MORE -->
 
-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