Talk:The POPLmark Challenge

From POPLmark

Jump to: navigation, search

Thanks for pointing this mistake out. It has been fixed.



Hi Poplmark people,

I like the new site! The links to the Poplmark challenge paper are currently broken. For reference in the meantime, CiteSeer has the challenge at the following location.

http://citeseer.ist.psu.edu/aydemir05mechanized.html

Jason

Retrieved from "http://alliance.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=Talk:The_POPLmark_Challenge"