[abc] POPL revision

From: Oege de Moor <Oege.de.Moor@comlab.ox.ac.uk>
Date: Wed Oct 18 2006 - 12:39:44 BST

I've added a draft new section that gives the intuition of the translation
before diving into the details; and made corresponding changes elsewhere to
refer to it.

Please check.

-Oege
Received on Wed Oct 18 12:39:56 2006

This message: [ Message body ]
Next message: Eric Bodden: "[abc] benchmarks on cardinal"
Previous message: Ganesh Sittampalam: "[abc] reweaving tests (+4f,-4p)"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:30 GMT