top | item 40408287

(no title)

quag | 1 year ago

The free book on partial evaluations: http://www.itu.dk/people/sestoft/pebook/

discuss

order

sestep|1 year ago

Is the book enlightening beyond what one can learn from sources like this post and the aforementioned paper by Rompf and Amin? I'm trying to decide whether I should spend the time to dig deeper into it.