[PL-sem-jr] meeting outcome

[Jed Davis]

On Wed, Sep 16, 2009 at 04:43:27PM -0400, Aaron Turon wrote:
> 9/21	 Garbage collection - Jed  (may talk about BDDs instead)

Or maybe I'll dust off my _Bounded Quantification Is Undecidable_ notes.

I'll probably need to explain more than I did last time (when two thirds
of the audience was Dan and Aaron), and I haven't really thought about
the material in a while, but that's okay, because the last couple pieces
are unexplainable on a whiteboard anyway.  At least with my handwriting.

-- 
(let ((C call-with-current-continuation)) (apply (lambda (x y) (x y)) (map
((lambda (r) ((C C) (lambda (s) (r (lambda l (apply (s s) l))))))  (lambda
(f) (lambda (l) (if (null? l) C (lambda (k) (display (car l)) ((f (cdr l))
(C k)))))))    '((#\J #\d #\D #\v #\s) (#\e #\space #\a #\i #\newline)))))