Language-Based Security: What's Needed and Why
Abstract elided by the publisher.
Related papers
- Import is Not Inheritance - Why We Need Both: Modules and Classes ECOOP 1992
- Freer Arrows and Why You Need Them in Haskell Haskell 2025
- Why nothing matters: the impact of zeroing OOPSLA 2011
- HeapBuffers: Why Not Just Using a Binary Serialization Format for Your Managed Memory? OOPSLA 2025
- Counting Solutions to Presburger Formulas: How and Why PLDI 1994
- Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison OOPSLA 2025
- The Call-By-Need lambda Calculus JFP 1997
- Scooter & Sidecar: a domain-specific approach to writing secure database migrations PLDI 2021