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. Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?. In Ugo Dal Lago, Ricardo Peña, editors, Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Volume 8552 of Lecture Notes in Computer Science, pages 38-57, Springer, 2013. [doi]

Authors

Daniele Canavese

This author has not been identified. Look up 'Daniele Canavese' in Google

Emanuele Cesena

This author has not been identified. Look up 'Emanuele Cesena' in Google

Rachid Ouchary

This author has not been identified. Look up 'Rachid Ouchary' in Google

Marco Pedicini

This author has not been identified. Look up 'Marco Pedicini' in Google

Luca Roversi

This author has not been identified. Look up 'Luca Roversi' in Google