Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? - Daniele Canavese; Emanuele Cesena; Rachid Ouchary; Marco Pedicini; Luca Roversi (FOPARA, 2013)

Light combinators for finite fields arithmetic. - Daniele Canavese; Emanuele Cesena; Rachid Ouchary; Marco Pedicini; Luca Roversi (Sci. Comput. Program., 2015)