Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 12:10 - 12:35 at Noh Theater - Functors Chair(s): Zhenjiang Hu

Using the theory of monoids and monoid actions, we give a unified framework that handles three common pointer manipulation tasks, namely, data serialisation, deserialisation, and memory allocation. Our main theoretical contribution is the formulation of the notion of a \emph{twisted functor}, a generalisation of the semi-direct product construction for monoids. We show that semi-direct products and twisted functors are particularly well suited as an abstraction for many pointer manipulation tasks.

We describe the implementation of these abstractions in the context of a cryptographic library for Haskell. Twisted functors allow us to abstract all pointer arithmetic and size calculations into a few lines of code, significantly reducing the opportunities for buffer overflows.

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

11:45 - 12:35: FunctorsHaskell at Noh Theater
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
11:45 - 12:10
Free Delivery (Functional Pearl)
Jeremy GibbonsUniversity of Oxford, UK
12:10 - 12:35
How to Twist Pointers without Breaking Them