Browsing by Author "ca9bf713-38f9-4ac3-83c2-cd6f9ae63e7f"

Now showing items 1-2 of 2

    • Foundations of dependent interoperability 
      Evariste Dagand, Pierre; Tabareau, Nicolás; Tanter, Éric Pierre (Cambridge University Press, 2018)
      Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...
    • Gradual Certified Programming in Coq 
      Tanter, Éric Pierre; Tabareau, Nicolás (Assoc Computing Machinery, 2016)
      Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition ...