From dad3b71c756874fddd15f54aaa43916849f6a40b 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) --- personal/_posts/2019-05-15-typeclasses-exponential-blowup.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/personal/_posts/2019-05-15-typeclasses-exponential-blowup.md b/personal/_posts/2019-05-15-typeclasses-exponential-blowup.md index 9e682cb..bc9a8c9 100644 --- a/personal/_posts/2019-05-15-typeclasses-exponential-blowup.md +++ b/personal/_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.30.2