
28 Aug
2008
28 Aug
'08
5:09 p.m.
johan.tibell:
On Sun, Jul 13, 2008 at 12:16 AM, Don Stewart
wrote: johan.tibell:
On Sat, Jul 12, 2008 at 12:13 AM, Don Stewart
wrote: Any possibility of you guys taping the talk? Unlikely next week, but soon, yes!
How about the slides?
Slides for the last 3 talks are now up, on the Galois blog, http://www.galois.com/blog/ * Large Scale Monadic Refinement * Adventures in Foreign Function Interfaces * Stream Fusion for Haskell Arrays Cheers, Don