A digest of posts from FPL members and collaborators.

FPL Members

Alina Banerjee

Putting Everything in Order

A paper I have been reading through on recently (OxCaml) does some very clever things with the OCaml type system. The basic idea is to wrap OCaml function types with qualifiers to ensure memory access safety statically from within the type system…

Friends

Anil Madhavapeddy

.plan-26-30: Bananas ripen, models open, and OxCaml releases

I was in Ireland most of the week attending to family matters, so another quieter weeknote! My picture of the week is that the Pembroke College Cambridge banana tree has, err, sprouted real bananas, so I’m trying to pluck up the courage to attempt to pickle them and not poison…

.plan-26-29: Perfect weather, imperfectly measured, precisely predicted

I returned to Cambridge during the nice lull after the exams and graduation rush, and enjoyed a very pleasant week indeed catching up! I examined my first viva in the Faculty of Law, ran a TESSERA stall at the House of Lords, saw exciting results on downscaling the weather with…