28 February 2007
The tagged web and Using Technorati | betterdays
An example here, I am pasting some tags here on one of my entries about a newspaper in India that encourages its readers to blog. This is how the last few lines of my post looks like.
10 January 2007
Practical Type Inference Based on Success Typings | Lambda the Ultimate
[later edit]
On consideration, the comparison to primal dual makes no sense as it demands a base transformation. Type inference, whether starting from the bottom or the top of the type treilli is still "using the same coordinates". Still, I hope the rest
1
(2 marks)
