this idris paper, maybe, or how is security guaranteed?

http://www.simonjf.com/writing/bsc-dissertation.pdf

quote:

    enforce resource usage protocols inherent in 
    C socket programming, providing safety guarantees,