[PRL] Stream of consciousness?

[Mitchell Wand]

In case you missed it--

>From Conor McBride's CFP for "Mathematically Structured Functional
Programming":

Submissions are welcome on, but by no means restricted to, topics from
the following partially computed coinductive list:

  * structured effectful computation
  * structured recursion
  * structured tree and graph operations
  * structured syntax with variable binding
  * structures for datatype-genericity
  * structures for search
  * structured representations of functions
  * structured manipulation of mathematical structure
  * structured <thunk> in functional programming
-------------- next part --------------
HTML attachment scrubbed and removed