[<<][staapl][>>][..]
Fri Apr 3 12:54:07 CEST 2009

ideas and confusion

Thing's I'm working on but don't make complete sense yet:

  TYPES:

    - staged assembly language (machine semantics: compile / eval).
      eval = relative to machine, compile = relative to branch label
      allocation.

    - fixing the macro specification "patterns" language to use typed
      scheme.

  PEVAL:

    - "total deforestation" : use of intermediate high-level data
      structures for program specification and simulation +
      composition that allows total elimination of this intermediate
      data representation.

    - iterators -> tasks using delimited continuations (actor model)



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