Safe Haskell

Abstract

Though Haskell is predominantly type-safe, implementations contain a few loopholes through which code can bypass typing and module encapsulation. This paper presents <i>Safe Haskell</i>, a language extension that closes these loopholes. Safe Haskell makes it possible to confine and safely execute untrusted, possibly malicious code. By strictly enforcing… (More)
DOI: 10.1145/2364506.2364524
View Slides

Topics

4 Figures and Tables

Statistics

050201520162017
Citations per Year

Citation Velocity: 17

Averaging 17 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@article{Terei2012SafeH, title={Safe Haskell}, author={David Terei and Simon Marlow and Simon L. Peyton Jones and David Mazi{\`e}res}, journal={TinyToCS}, year={2012}, volume={1} }