From POPLmark

[edit] A note about accounts for editing this wiki

You must have an account in order to edit this wiki, but account creation has been disabled due to spammers creating large numbers of accounts. If you'd like an account, send email to Brian Aydemir (baydemir [at] cis . upenn . edu) with your real name and a user name.