If you're interested, we've put up an electronic copy of the ESOP paper Practical Variable-Arity Polymorphism in the Northeastern PLT publications list.

I just made a post to the PLT Scheme blog about my current research into unit contracts. Check it out if you're interested.

Other than that, I've made the reservations for my trip to ESOP 2009 in March, and should be getting that money back soon. Now to get through this paper for ICFP and I can turn my attention to writing and presenting the ( Read more... )

So I was told when we first started shopping this paper around that if it was accepted, I'd be the one giving the talk. So I guess I'll need to start getting that together sometime... preferably well ahead of when it takes place, which is the last full week in March. Obviously I'm absolutely nervous about giving my first talk to people outside my ( Read more... )

Thanks to ESOP '09, I now have my first paper accepted for publication.

Today has been a good day for communication. Had a good amount of back and forth with Robby about some changes to the PLT Scheme contract system I've been working on. Research has been very productive lately... almost enough to overcome the usual feelings of being an impostor.
( Quiz inside )

I love it when a plan comes together.

What type would you give the following function? Assume whichever type system you'd like.

(define (map-with-funcs . fs) (lambda as (map (lambda (f) (apply f as)) fs)))
My answer? You'll get that later.

(I posted this to Gedankenexperiment after clearing it off from my old abortive attempt to utilize it as a research ( Read more... )

Was given a hand-me-down Power Mac G4 to rebuild to use here at my desk, so I've been mostly doing that for the past couple of days. Wouldn't have taken so long, but we only had the original installation media which meant I was stuck with 10.2 until today, when I finally found a copy of 10.4.

Otherwise everything is going okay here in Boston. I' ( Read more... )

Guess I picked the wrong day to stop sniffing glue get sick.

It's not work that's the reason -- I'll be working from home via the VPN (though I still feel guilty when I don't have a physical presence in the office). It's POPLLuckily most of the editing work had done already, so it's not like it was as bad as it could be. However it's still ( Read more... )

Whoa, the journal update page changed! Okay, wasn't expecting that, but now I understand a couple of the random comments I saw in various people's posts earlier ( Read more... )