Now showing items 1-1 of 1

    • Foundations of dependent interoperability 

      Evariste Dagand, Pierre; Tabareau, Nicolas; 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, ...