Resource Polymorphism: A proposal for a resource-management model for OCamlhal.inria.fr3 pointspanic8 years ago