Research proposal
I'm in the middle of writing up a research proposal for a postdoc position I'm applying for. I've had enough of categorification for a while, and it struck me that doing formal semantics for a simple language in the APL family (J, K, A+, Matlab...) could be both Fun and Interesting. Some poking around on Google and MathSciNet suggests that nobody's done anything in this vein before - I've downloaded all the relevant looking papers (all three or four of them), and intend to read them this evening after climbing :-)
The trouble is that I've never written anything like this before. Some of you, I know, have: does this look remotely sane? Does the topic sound interesting? The second section, you'll be pleased to hear, is very much a zeroth draft at this stage :-)
The trouble is that I've never written anything like this before. Some of you, I know, have: does this look remotely sane? Does the topic sound interesting? The second section, you'll be pleased to hear, is very much a zeroth draft at this stage :-)