Browsing by Author "Tanter, Eric Pierre"

Now showing items 1-6 of 6

    • A reasonably gradual type theory 
      Maillard G., Kenji; Lennon Bertrand, Meven; Tabareau, Nicolas; Tanter, Eric Pierre (ACM, 2022)
      Gradualizing the Calculus of Inductive Constructions (CIC) involves dealing with subtle tensions between normalization, graduality, and conservativity with respect to CIC. Recently, GCIC has been proposed as a parametrized ...
    • Gradually structured data 
      Malewski Correa, Stefan Ignacy; Greenberg, Michael; Tanter, Eric Pierre (Assoc Computing Machinery, 2021)
      Dynamically-typed languages offer easy interaction with ad hoc data such as JSON and S-expressions; staticallytyped languages offer powerful tools for working with structured data, notably algebraic datatypes, which are a ...
    • Mejora de la usabilidad de una herramienta de modelamiento de interacciones en sistemas colaborativos móviles 
      Lumán Bahamondes, Alejandro Adrián (Universidad de Chile, 2022)
      Actualmente se ha expandido en gran forma el uso de aplicaciones móviles que apoyan procesos colaborativos entre personas. Este tipo de aplicaciones permite que dos o más usuarios -que pueden cumplir diversas funciones o ...
    • Plausible sealing for gradual parametricity 
      Labrada Deniz, Elizabeth; Toro Ipinza, Matías; Tanter, Eric Pierre; Devriese, Dominique (Assoc Computing Machinery, 2022)
      Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform ...
    • Propositional equality for gradual dependently typed programming 
      Eremondi, Joseph; García, Ronald; Tanter, Eric Pierre (ACM, 2022)
      Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...
    • Trace-Relating Compiler Correctness and Secure Compilation 
      Abate, Carmine; Blanco, Roberto; Ciobâca, Stefan; Durier, Adrien; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Tanter, Eric Pierre; Thibault, Jérémy (Springer, 2020)