PLParty.org

PLParty.org is a project of the Carnegie Mellon Computer Science Department's POP Group

Projects

• The Twelf Wiki - a new resource for learning and using Twelf
• The Cult of the Bound Variable - the 2006 ICFP Programming Contest