Publication de la collection HAL LS2N-GALLINETTE pour 2018
Nombre de publications retournées : 21ART_INT | COMM_INT | OUV | THESE | AUTRES |
---|---|---|---|---|
6 | 11 | 1 | 1 | 2 |
Revues internationales avec comité de lecture (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-01992148v1
- [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-01883524v1
- [4] N. Tabareau, Ã. Tanter, M. Sozeau. Equivalences for Free. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2018, vol. 2, num. ICFP.https://inria.hal.science/hal-01559073v6
- [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-01929871v1
- [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-01939906v1
- [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-01671948v1
- [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-01840643v1
- [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-01806634v1
- [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-01809681v1
- [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-01703524v1
- [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-01883559v1
- [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-01930058v1
- [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-01992294v1
- [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-01840744v1
- [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-02360681v1
- [19] S. Boulier. Extending type theory with syntactic models. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-02007839v1
- [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-01856329v1
- [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-01374721v1