5 ms·
Is this related to what you have in mind? http://adam.chlipala.net/papers/UrWebPOPL15/ http://adam.chlipala.net/papers/UrWebPOPL15/
by obastani 12y ago
Is this related to what you have in mind?
http://adam.chlipala.net/papers/UrWebPOPL15/ http://adam.chlipala.net/papers/UrWebPOPL15/