My recollection is that Kent taught with this approach because it simplified homeworks for students and graders and I encouraged him to write it up for the “education pearl” section that I launched for JFP in ’03. It took several years to collect the papers and get them written and publish them (back then, journals still had “print queues”) — Matthias
> On Feb 6, 2019, at 2:22 PM, 'Paulo Matos' via Racket Users > <racket-users@googlegroups.com> wrote: > > Thanks for the references. That really useful. > > Interestingly according to Matt these ideas were already floating around at > his uni as early as 98? > > On 6 February 2019 18:50:21 CET, Matthias Felleisen <matth...@felleisen.org> > wrote: > > >> On Feb 6, 2019, at 12:30 PM, 'Paulo Matos' via Racket Users >> <racket-users@googlegroups.com> wrote: >> >> I was quite surprised to read these nanopass ideas have been around for >> so long. > > > 1. The educational idea came first: > > A Nanopass framework for compiler education. • Volume 15, Issue 5 • September > 2005 , pp. 653-667 > > https://www.cambridge.org/core/journals/journal-of-functional-programming/article/educational-pearl-a-nanopass-framework-for-compiler-education/1E378B9B451270AF6A155FA0C21C04A3 > > 2. The experience report of applying the idea to a commercial compiler came > about 10 years later: > > A Nanopass framework for commercial compiler development. ICFP ’13 , pp > 343-350 > > https://dl.acm.org/citation.cfm?id=2500618 > > — Matthias > > > > > -- > Paulo Matos > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
