Experience in using a typed functional language for the development of a security application

  • Damien Doligez
  • , Christèle Faure
  • , Thérèse Hardin
  • , Manuel Maarek

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1   Link opens in a new tab Citation (Scopus)

Fingerprint

Dive into the research topics of 'Experience in using a typed functional language for the development of a security application'. Together they form a unique fingerprint.
Sort by

Computer Science

INIS