Wednesday, April 29, 2009

Climbing the Coq learning wall

›
So I am currently trying to learn Coq , this is a monstrous and Herculean task. It is one of those things where the learning curve is so ste...
Friday, April 10, 2009

Busy, busy

›
Sorry for no ETAPS report thus far. It will be coming soon. I have been very busy, jetting around, having very interesting discussions in Lo...
Friday, March 27, 2009

ETAPS 09

›
So, I've now moved to New Zealand, and in time there will be a post about all that, but right now I am back in the UK, in fact back in Y...
1 comment:
Sunday, January 25, 2009

ESOP paper

›
As I noted below (I think), my supervisor (Sophia) and I have had a paper accepted to ESOP 09 which is in march in York, England. The title ...
Sunday, January 04, 2009

Busy, busy,...

›
A quick update: on the academic front I have submitted my thesis and passed the viva with minor corrections, which I am working on now. Soph...
Thursday, October 23, 2008

Things I don't like

›
Specifically, things I don't like in programming languages. When I design the world's perfect programming language, none of these th...
1 comment:
Wednesday, October 15, 2008

Feynman Quote

›
"Physics is like sex. Sure, it may give some practical results, but that's not why we do it." Substitute "PLT" for ...

Fun

›
Surprisingly, this is not going to be a post about functional programming, nor about the existential types calculus, Fun; but, about fun, as...
2 comments:
Sunday, August 17, 2008

Papers

›
I'm currently writing the background chapter of my thesis, and this involves a lot of re-reading of papers. Several times now I've t...
1 comment:
Tuesday, August 05, 2008

Egypt

›
Currently I am in Egypt, to be precise I am in Dahab in the south Sinai. My mission is to write my thesis. I figured that it is a lot cheape...
1 comment: