[<<][staapl][>>][..]
Thu Oct 25 21:07:55 CEST 2007

theory

in order to finish brood.tex, it looks to me that type theory is not
really the most important thing to brush up on: partial evaluation
is. there's a lot of stuff here:

  http://partial-eval.org/techniques.html

i need to give some proper attention. if only to relate my intuitions
to things people have spent some thought on.



[Reply][About]
[<<][staapl][>>][..]