Re: Summer School on Functional Programming?