Nicolas Voirol

According to our database¹, Nicolas Voirol authored at least 4 papers between 2015 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Verified Functional Programming.

[BibT_eX]

[DOI]

PhD thesis, 2019

System FR: formalized foundations for the stainless verifier.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

System FR as Foundations for Stainless.

[BibT_eX]

[DOI]

CoRR, 2019

2015

Counter-example complete verification for higher-order functions.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015