Hacker News new | ask | show | jobs
by obastani 4154 days ago
Is this related to what you have in mind?

http://adam.chlipala.net/papers/UrWebPOPL15/