Sun Feb 21 12:27:28 CET 2010

Using tagless representations

One problem though: the current implementation uses byte-code
inspection for partial evaluation (i.e. the "bubbling" of constants).

Maybe this can be solved by representing such values as an abstract

I need a rest to absorb all of this.  I think I get the main idea, but
the details of what happens at what level, and how different type
systems can be used are quite complicated.