[Ur] Policy keyword?

Adam Chlipala adamc at csail.mit.edu
Sat Apr 1 14:57:41 EDT 2017


On 04/01/2017 02:53 PM, Marko Schütz-Schmuck wrote:
> I noticed the user of the policy keyword, but was unable to find any 
> documentation on it. Is it documented somewhere?

Only in this paper: http://adam.chlipala.net/papers/UrFlowOSDI10/
and this demo: http://www.impredicative.com/ur/scdv/
(It's not a production-quality feature.)



More information about the Ur mailing list