Home » Fiche   membre
Fiche   membre Retour à l'annuaire  



Chargé de recherche

: Guillaume.Munchatls2n.fr

Page pro : http://guillaume.munch.name

Adresse :

Université de Nantes - faculté des Sciences et Techniques ( FST )
Petit Port
2 Chemin de la Houssinière
BP 92208
44322 Nantes Cedex 3

Batiment 34, étage 2, bureau 211

Publications référencées sur HAL

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

    • [1] G. Munch-Maccagnoni. Probabilistic resource limits using StatMemprof. In OCaml 2021- OCaml Users and Developers Workshop, août 2021, Online, France.
    • [2] . Miquey, X. Montillet, G. Munch-Maccagnoni. Dependent Type Theory in Polarised Sequent Calculus (abstract). In TYPES 2020 - 26th International Conference on Types for Proofs and Programs, mars 2020, Torino, Italie.
    • [3] G. Munch-Maccagnoni. Towards better systems programming in OCaml with out-of-heap allocation. In ML Workshop 2020, août 2020, Jersey City, états-Unis.
    • [4] G. Munch-Maccagnoni, R. Douence. Efficient Deconstruction with Typed Pointer Reversal (abstract). In ML 2019 - Workshop, août 2019, Berlin, Allemagne.
    • [5] 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.
    • [6] 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.
    • [7] P. Clairambault, G. Munch-Maccagnoni. Duploid situations in concurrent games. In Games for Logic and Programming Languages XII (GaLoP), avril 2017, Uppsala, Suède.
    • [8] G. Munch-Maccagnoni. What term assignments can do for focusing. In 4th International Workshop on Structures and Deduction (SD 2017), septembre 2017, Oxford, Royaume-Uni.
    • [9] P. Curien, M. Fiore, G. Munch-Maccagnoni. A theory of effects and resources: adjunction models and polarised calculi. In Principles of Programmming Languages, janvier 2016, Saint-Petersbourg, Florida, états-Unis.
    • [10] G. Munch-Maccagnoni, G. Scherer. Polarised Intermediate Representation of Lambda Calculus with Sums. In Thirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015), juillet 2015, Kyoto, Japon.
    • [11] G. Munch-Maccagnoni. Formulae-as-Types for an Involutive Negation. In Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014), juillet 2014, Vienna, Autriche.
    • [12] G. Munch-Maccagnoni. Models of a Non-Associative Composition. In FOSSACS 2014 - 17th International Conference on Foundations of Software Science and Computation Structures, avril 2014, Grenoble, France.In Anca Muscholl (éds.), . Springer, 2014.
    • [13] P. Curien, G. Munch-Maccagnoni. The Duality of Computation under Focus. In 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), septembre 2010, Brisbane, Australie.In Cristian S. Calude; Vladimiro Sassone (éds.), . Springer, 2010.
    • [14] G. Munch-Maccagnoni. Focalisation and Classical Realisability (version with appendices). In 18th EACSL Annual Conference on Computer Science Logic - CSL 09, septembre 2009, Coimbra, Portugal.In Erich Grädel and Reinhard Kahle (éds.), . Springer-Verlag, 2009.

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales -