Documents

• Implementation Status of CaMPL (by Jared Pon)
• Redesgining the abstract machine for CaMPL (by Jared Pon)
• Implementing Message Passing Language (by Prashant Kumar)
• Progress For The Message Passing Logic (by Reginald Lybbert)
• The Logic of Message Passing (by Robin Cockett and Craig Pastro)