Julien Cretin

According to our database, Julien Cretin authored at least 6 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Hybrid Post-Quantum Signatures in Hardware Security Keys.

Diana Ghinea, Fabian Kaczmarczyck, Jennifer Pullman, Julien Cretin, Stefan Kölbl, Rafael Misoczki, Jean Michel Picod, Luca Invernizzi, Elie Bursztein

IACR Cryptol. ePrint Arch., 2022

2014

Erasable coercions: a unified approach to type systems. (Coercions effaçables : une approche unifiée des systèmes de types).

Julien Cretin

PhD thesis, 2014

System F with coercion constraints.

Julien Cretin, Didier Rémy

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2012

Giving Haskell a promotion.

Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

On the power of coercion abstraction.

Julien Cretin, Didier Rémy

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

Matching lenses: alignment and view update.

Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010