Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2018

Nombre de publications retournées : 22


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
THESE
AUTRES
81112

Revues internationales avec comité de lecture (ART_INT)

    • [1] . Miquey. A Classical Sequent Calculus with Dependent Types. In ACM Transactions on Programming Languages and Systems (TOPLAS) ; éd. ACM, 2018.
      https://hal.inria.fr/hal-01519929v3
    • [2] P. Dagand, N. Tabareau, . Tanter. Foundations of Dependent Interoperability. In Journal of Functional Programming ; éd. Cambridge University Press (CUP), 2018, vol. 28.
      https://hal.inria.fr/hal-01629909v2
    • [4] P. Melliès, N. Tabareau, C. Tasson. An explicit formula for the free exponential modality of linear logic. In Mathematical Structures in Computer Science ; éd. Cambridge University Press (CUP), 2018, vol. 28, num. 7.
      https://hal.inria.fr/hal-01992148
    • [5] M. Elsman, T. Henriksen, D. Annenkov, C. Oancea. Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2018, vol. 2, num. ICFP.
      https://hal.inria.fr/hal-01883524
    • [7] P. LeFanu Lumsdaine, N. Tabareau. Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. In Journal of Automated Reasoning ; éd. Springer Verlag, 2018.
      https://hal.inria.fr/hal-01929871
    • [8] M. Anel, G. Biedermann, E. Finster, A. Joyal. Goodwillie's calculus of functors and higher topos theory. In Journal of topology ; éd. Oxford University Press, 2018, vol. 11, num. 4.
      https://hal.inria.fr/hal-01939906

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [9] A. Anand, S. Boulier, N. Tabareau, M. Sozeau. Typed Template Coq -- Certified Meta-Programming in Coq. In CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, janvier 2018, Los Angeles, CA, états-Unis.
      https://hal.inria.fr/hal-01671948
    • [10] P. Pédrot, N. Tabareau. Failure is Not an Option An Exceptional Type Theory. In ESOP 2018 - 27th European Symposium on Programming, avril 2018, Thessaloniki, Grèce.
      https://hal.inria.fr/hal-01840643
    • [11] G. Combette, G. Munch-Maccagnoni. A resource modality for RAII. In LOLA 2018: Workshop on Syntax and Semantics of Low-Level Languages, juillet 2018, Oxford, Royaume-Uni.
      https://hal.inria.fr/hal-01806634
    • [12] A. Anand, S. Boulier, C. Cohen, M. Sozeau, N. Tabareau. Towards Certified Meta-Programming with Typed Template-Coq. In ITP 2018 - 9th Conference on Interactive Theorem Proving, juillet 2018, Oxford, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01809681
    • [13] . Miquey. A sequent calculus with dependent types for classical arithmetic. In LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2018, Oxford, Royaume-Uni.
      https://hal.inria.fr/hal-01703526v2
    • [14] . Miquey. Formalizing Implicative Algebras in Coq. In ITP 2018 - 9th International Conference on Interactive Theorem Proving, juillet 2018, Oxford, Royaume-Uni.
      https://hal.inria.fr/hal-01703524
    • [15] D. Annenkov, M. Elsman. Certified Compilation of Financial Contracts. In PPDP '18 - 20th International Symposium on Principles and Practice of Declarative Programming, septembre 2018, Frankfurt am Main, Allemagne.
      https://hal.inria.fr/hal-01883559
    • [16] B. Ahrens, A. Hirschowitz, A. Lafont, M. Maggesi. High-level signatures and initial semantics. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), septembre 2018, Birmingham, Royaume-Uni.
      https://hal.inria.fr/hal-01930058
    • [17] K. Maillard, . Miquey, X. Montillet, G. Munch-Maccagnoni, G. Scherer. A preview of a tutorial on L (polarized μμ-tilde). In HOPE 2018 - 7th ACM SIGPLAN Workshop on Higher-Order Programming with Effects, septembre 2018, St. Louis, états-Unis.
      https://hal.inria.fr/hal-01992294
    • [18] . Miquey, H. Herbelin. Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control. In FOSSACS 18 - 21st International Conference on Foundations of Software Science and Computation Structures, avril 2018, Thessalonique, Grèce.In Christel Baier (éds.), . Springer, 2018.
      https://hal.inria.fr/hal-01624839v2
    • [19] P. Vial. Every λ-Term is Meaningful for the Infinitary Relational Model. In LICS 2018 - Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2018, Oxford, Royaume-Uni.In Anuj Dawar, Erich Grädel (éds.), . ACM, 2018.
      https://hal.archives-ouvertes.fr/hal-01840744

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [22] E. Arafailova, N. Beldiceanu, R. Douence, M. Carlsson, P. Flener, J. Pearson, M. Francisco Rodríguez, H. Simonis. Global Constraint Catalog, Volume II, Time-Series Constraints. Rapport technique, 2018 ; IMT Atlantique.
      https://hal.inria.fr/hal-01374721
Copyright : LS2N 2017 - Mentions Légales - 
 -