Monthly Archives: April 2008

What does that denote?

Denotational semantics lecture notes by Professor Glynn Winskel   A great introduction to domains and continuous functions between them, together with constructions on domains and proof via Scott induction. An operational and a denotational semantics for the functional language PCF is … Continue reading

Posted in Books | Leave a comment

Fail OrElse….

A year or two ago, software transactional memory started getting mentioned all over the place. This is a technique for wrapping application locks in a way that hides the underlying locking from application programmers. Over the weekend, I though I’d have … Continue reading

Posted in Computers and Internet | Leave a comment

Quickly now!

I’ve been doing some reading about functional datatypes, after seeing some interesting papers go past on Lambda The Ultimate. One such papers was Chris Okasaki’s Purely Functional Random Access Lists which gives a rather clever implementation of a random access list … Continue reading

Posted in Computers and Internet | Leave a comment

Keep this a secret!

I’ve just finished reading Cryptography Decrypted by H.X.Mel and Doris Baker. I’ve read a few texts on the the subject before, but this was certainly the most accessible book on the subject that I have ever read. It covered some of … Continue reading

Posted in Books | Leave a comment