Home » Team publications


Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2018

Total of the publications found : 21

Overview of LS2N-GALLINETTE publications by types
ART_INT
COMM_INT
OUV
THESE
AUTRES
611112

International journals with reviewing committee (ART_INT)

    • [1] P. Dagand, N. Tabareau, Ã. Tanter. Foundations of Dependent Interoperability. In Journal of Functional Programming ; éd. Cambridge University Press (CUP), 2018, vol. 28.
      https://inria.hal.science/hal-01629909v2
    • [2] 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://inria.hal.science/hal-01992148
    • [3] 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://inria.hal.science/hal-01883524
    • [5] 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://inria.hal.science/hal-01929871
    • [6] 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://inria.hal.science/hal-01939906

International conferences with reviewing committee (COMM_INT)

    • [7] 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://inria.hal.science/hal-01671948
    • [8] 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://inria.hal.science/hal-01840643
    • [9] 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://inria.hal.science/hal-01806634
    • [10] 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.science/hal-01809681
    • [11] Ã. 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://inria.hal.science/hal-01703526v2
    • [12] Ã. Miquey. Formalizing Implicative Algebras in Coq. In ITP 2018 - 9th International Conference on Interactive Theorem Proving, juillet 2018, Oxford, Royaume-Uni.
      https://inria.hal.science/hal-01703524
    • [13] 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://inria.hal.science/hal-01883559
    • [14] 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://inria.hal.science/hal-01930058
    • [15] 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://inria.hal.science/hal-01992294
    • [16] Ã. 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://inria.hal.science/hal-01624839v2
    • [17] 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.science/hal-01840744

Books - books sections - directions of work or proceedings (OUV)

    • [18] B. Ahrens, R. Matthes. Heterogeneous Substitution Systems Revisited. In 21st International Conference on Types for Proofs and Programs (TYPES 2015). 16-02-2018
      https://hal.science/hal-02360681

PhD Thesis (THESE)

Other publications (AUTRES)

    • [20] W. Benghabrit, H. Grall, J. Royer, A. Santana de Oliveira. The Abstract Accountability Language: its Syntax, Semantics and Tools. Rapport technique, 2018 ; IMT Atlantique.
      https://hal.science/hal-01856329
    • [21] 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://inria.hal.science/hal-01374721
Copyright : LS2N 2017 - Legal notices - 
 -