The paper I sub­mit­ted to FOPARA, a work­shop in Eind­hover this Novem­ber, has been accep­ted! We got some really amaz­ing com­ments back from the ref­er­ees. The really evil part of the paper, near the back, didn’t get as many com­plaints as I was expect­ing. Maybe I need to present it bet­ter so people can fully appre­ci­ate what hor­rible things I’m doing, ha!

So yes, fix­ing up the FOPARA paper will hap­pen before long. I also need to make a trip to Cal­gary soon to work with Brian and Robin more. In the mean­time I’m work­ing on my thesis pro­posal which has been drag­ging on for too many months now and work­ing with my super­visor, Jamie, on a cleaner and — with no shame about being nerdy — more excit­ing for­mu­la­tion. It’s mak­ing us rethink about things we haven’t thought about in a long time, too, which is good.

And while this is all going on I’m still slowly work­ing on the imple­ment­a­tion where time per­mits. Pro­gress is being made on the bounds infer­ence. I’ve also put up some bin­ar­ies of the inter­preter — as it exis­ted a couple months ago. Not sur­pris­ingly no one’s down­load­ing any of them except for me (to test).

The paper I submitted to FOPARA, a workshop in Eindhover this November, has been accepted! We got some really amazing comments back from the referees. The really evil part of the paper, near the back, didn't get as many complaints as I was expecting. Maybe I need to present it better so people can ...