4 Nov
2003
4 Nov
'03
1:45 p.m.
A tutorial on this by one of the experts would be very welcome.
The people at York University have written some great papers on this topic. I especially remember one presented at the Glasgow Functional Programming workshop by Colin Runciman about 8-10 years ago. In the draft proceedings or the presentation, the title was something to do with the tail and the leg of the dog but I don't recall the title of the final paper. -- Alastair Reid