|
| From: | Ludovic Courtès |
| Subject: | Re: Difference letrec & environment binding (again) |
| Date: | Sun, 21 Aug 2011 11:20:36 +0200 |
| User-agent: | Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.50 (gnu/linux) |
Hello! Hans Aberg <address@hidden> skribis: > So letrec is transformed to something else. What might that be? I believe you’re seeing the “Fixing letrec” algorithm in action (see the paper of that name by Dybwig et al.) Thanks, Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |