Generic Wrappers
No abstract available.
Related papers
- Generating Smart Wrapper Libraries for Arbitrary APIs SLE 2009
- Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications APLAS 2017
- Short note: Strict unwraps make worker/wrapper fusion totally correct JFP 2011
- The worker/wrapper transformation JFP 2009
- Worker/wrapper/makes it/faster ICFP 2014
- Wrappers to the Rescue ECOOP 1998
- Factorising folds for faster functions JFP 2010
- Work it, wrap it, fix it, fold it JFP 2014