15 citations · 18 across the 8 of their papers we have counts for
1 paper · 1 filter
Martin Lester
Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functiona…