Achim Schneider wrote: > ...is a paper about automatic specialisation of functions by unboxing > arguments, one could say. I'm only on page 6, but already survived the > first formalisms, which is bound to mean that the rest of the paper is > likewise accessible, as hinted on at ltu. > > http://www.cs.nott.ac.uk/~gmh/wrapper.pdf > > The transformation itself is mindbogglingly easy, which makes this a > good start: You only have to understand the formalisms, not so much what > the formalisms are representing. To quote spj: It usually turns out to > be more interesting and challenging than it seemed at first. > > I'm tempted to write that this is a paper for everyone trying to figure > out what the heck Jonathan is talking about.
Hey Achim many thanks for bringing this wonderful paper to my attention. Dijkstra's soul breethes out of every equation... Cheers Ben _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
