Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

23 résultats
Page :
triés par
Image document

Formulae-as-Types for an Involutive Negation

 Guillaume Munch-Maccagnoni
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), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603156⟩
Communication dans un congrès hal-00996742v2
Image document

Boxroot, fast movable GC roots for a better FFI

 Guillaume Munch-Maccagnoni , Gabriel Scherer
ML Family Workshop, Benoît Montagu, Sep 2022, Ljubljana, Slovenia
Communication dans un congrès hal-03910313v1
Image document

Focalisation and Classical Realisability (version with appendices)

 Guillaume Munch-Maccagnoni
18th EACSL Annual Conference on Computer Science Logic - CSL 09, Sep 2009, Coimbra, Portugal. pp.409-423, ⟨10.1007/978-3-642-04027-6_30⟩
Communication dans un congrès inria-00409793v2
Image document

Probabilistic resource limits using StatMemprof

 Guillaume Munch-Maccagnoni
OCaml 2021- OCaml Users and Developers Workshop, Aug 2021, Online, France. pp.1-2
Communication dans un congrès hal-03517592v1

What term assignments can do for focusing

 Guillaume Munch-Maccagnoni
4th International Workshop on Structures and Deduction (SD 2017), Sep 2017, Oxford, United Kingdom
Communication dans un congrès hal-01991571v1

A preview of a tutorial on L (polarized μμ-tilde)

 Kenji Maillard , Étienne Miquey , Xavier Montillet , Guillaume Munch-Maccagnoni , Gabriel Scherer
HOPE 2018 - 7th ACM SIGPLAN Workshop on Higher-Order Programming with Effects, Sep 2018, St. Louis, United States
Communication dans un congrès hal-01992294v1
Image document

Efficient Deconstruction with Typed Pointer Reversal (abstract)

 Guillaume Munch-Maccagnoni , Rémi Douence
ML 2019 - Workshop, KC Sivaramakrishnan, Aug 2019, Berlin, Germany. pp.1-8
Communication dans un congrès hal-02177326v2
Image document

Syntax and Models of a non-Associative Composition of Programs and Proofs

 Guillaume Munch-Maccagnoni
Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2013. English. ⟨NNT : ⟩
Thèse tel-00918642v1
Image document

A theory of effects and resources: adjunction models and polarised calculi

 Pierre-Louis Curien , Marcelo Fiore , Guillaume Munch-Maccagnoni
Principles of Programmming Languages, Jan 2016, Saint-Petersbourg, Florida, United States. ⟨10.1145/2837614.2837652⟩
Communication dans un congrès hal-01256092v1
Image document

Towards better systems programming in OCaml with out-of-heap allocation

 Guillaume Munch-Maccagnoni
ML Workshop 2020, Aug 2020, Jersey City, United States. pp.1-6
Communication dans un congrès hal-03142386v1
Image document

Duploid situations in concurrent games

 Pierre Clairambault , Guillaume Munch-Maccagnoni
12th Workshop on Games for Logic and Programming Languages (GaLoP XII), Juha Kontinen, Marina Lenisa, Apr 2017, Uppsala, Sweden
Communication dans un congrès hal-01991555v1
Image document

The Duality of Computation under Focus

 Pierre-Louis Curien , Guillaume Munch-Maccagnoni
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.165-181, ⟨10.1007/978-3-642-15240-5_13⟩
Communication dans un congrès inria-00491236v2
Image document

From delimited CPS to polarisation

 Guillaume Munch-Maccagnoni
2011
Pré-publication, Document de travail inria-00587597v1
Image document

Efficient “out of heap” pointers for multicore OCaml

 Guillaume Munch-Maccagnoni
OCaml 2022 - OCaml Users and Developers Workshop, Matija Pretnar, Sep 2022, Ljubljana, Slovenia. pp.1-7
Communication dans un congrès hal-03910312v1
Image document

Etude polarisée du système L

 Guillaume Munch-Maccagnoni
2009
Pré-publication, Document de travail inria-00295005v4
Image document

Polarised Intermediate Representation of Lambda Calculus with Sums

 Guillaume Munch-Maccagnoni , Gabriel Scherer
Thirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.22⟩
Communication dans un congrès hal-01160579v2
Image document

A resource modality for RAII

 Guillaume Combette , Guillaume Munch-Maccagnoni
LOLA 2018: Workshop on Syntax and Semantics of Low-Level Languages, Jul 2018, Oxford, United Kingdom. pp.1-4
Communication dans un congrès hal-01806634v1
Image document

Note on Curry's style for Linear Call-by-Push-Value

 Guillaume Munch-Maccagnoni
2017
Pré-publication, Document de travail hal-01528857v3
Image document

Resource Polymorphism

 Guillaume Munch-Maccagnoni
2018
Pré-publication, Document de travail hal-01724997v1
Image document

Dependent Type Theory in Polarised Sequent Calculus (abstract)

 Étienne Miquey , Xavier Montillet , Guillaume Munch-Maccagnoni
TYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Torino, Italy. pp.1-3
Communication dans un congrès hal-02505671v1
Image document

Note on models of polarised intuitionistic logic

 Guillaume Munch-Maccagnoni
2017
Pré-publication, Document de travail hal-01540760v1

Resource polymorphism: proposal for integrating first-class resources into ML

 Guillaume Munch-Maccagnoni
Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023, Oleg Kyseliov, Sep 2023, Seattle, United States
Communication dans un congrès hal-04332484v1
Image document

Models of a Non-Associative Composition

 Guillaume Munch-Maccagnoni
FOSSACS 2014 - 17th International Conference on Foundations of Software Science and Computation Structures, Apr 2014, Grenoble, France. pp.396-410, ⟨10.1007/978-3-642-54830-7_26⟩
Communication dans un congrès hal-00996729v1
Page :