Re: [tlug] ICFP at Next TLUG Meeting

[Edward Middleton <emiddleton@example.com>]

Curt Sampson wrote:
> Edward Middleton wrote:
> 
>> Should I add you to the schedule for next weeks meeting :)
> 
> Well, if you think that papers such as "Safe Functional Reactive
> Programming through Dependent Types," "Causal Commutative Arrows and
> Their Optimization," and "Commutative Monads, Diagrams and Knots" would
> be interesting to TLUG, I'd be happy to give a summary.

Zev and Matthew have offered to do talks so a summary[1] is probably all
there is time for.  Something along the lines of what really cools stuff
was covered and why it matters[2] from the perspective of someone who
might actually use it.

Edward

1. Something of the order of 10 minutes.
2. Enough to be to motivate people to read a few abstracts.