R. Laemmel and S. L. Peyton Jones. Scrap your boilerplate: A practical approach to generic programming. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
FreshML: Programming with Binders Made Simple - Shinwell, Pitts, Gabbay (2003) (3 citations) (Correct)
.... e2) Let (subst x e e1, y (subst x e e2) subst x e (Letfun ( f ( y e1,e2) Letfun ( f ( y (subst x e e1) subst x e e2) The interesting thing about the declaration of subst is that it is so simple only the first line of the declaration is not boiler plate in the sense of [14]. In particular, in the clauses of the declaration that deal with substitution under a binder, it is enough to say what the result should be in the case when the bound name is sufficiently fresh. As we see in Section 2, FreshML ensures that this is the only case that arises when using the clause ....
R. Laemmel and S. L. Peyton Jones. Scrap your boilerplate: A practical approach to generic programming. In TLDI 2003.
FreshML: Programming with Binders Made Simple - Shinwell, Pitts, Gabbay (2003) (3 citations) (Correct)
No context found.
R. Laemmel and S. L. Peyton Jones. Scrap your boilerplate: A practical approach to generic programming. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC