Filtrer vos résultats
- 30
- 20
- 22
- 13
- 8
- 7
- 4
- 50
- 27
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 5
- 2
- 7
- 3
- 2
- 7
- 1
- 4
- 5
- 2
- 49
- 1
- 42
- 18
- 14
- 7
- 4
- 2
- 2
- 2
- 1
- 50
- 19
- 18
- 17
- 15
- 8
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
50 résultats
|
|
triés par
|
|
Decorated proofs for computational effects: StatesElectronic Proceedings in Theoretical Computer Science, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩
Article dans une revue
hal-00650269v2
|
||
|
Diagrammatic Inference2009
Pré-publication, Document de travail
hal-00177075v2
|
||
|
Breaking a monad-comonad symmetry between computational effects[Research Report] arXiV. 2014
Rapport
hal-00941653v1
|
||
Dynamic logic and exceptions: an introductionMathematics, Algorithms, Proofs, Jan 2005, Dagstuhl, Germany. pp.3931-39313
Communication dans un congrès
hal-00171561v1
|
|||
|
An Algebraic Graph Transformation Approach for RDF and SPARQLElectronic Proceedings in Theoretical Computer Science, 2020, 330, pp.55-70. ⟨10.4204/EPTCS.330.4⟩
Article dans une revue
hal-03066753v1
|
||
|
Transformation of Attributed Structures with CloningFundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Apr 2014, Grenoble, France. pp.310-324, ⟨10.1007/978-3-642-54804-8_22⟩
Communication dans un congrès
hal-01985468v1
|
||
|
A parameterization process, functorially2009
Pré-publication, Document de travail
hal-00411936v1
|
||
Sequential products in effect categoriesJournées ARROWS, Jun 2007, Nancy, France
Communication dans un congrès
hal-00770341v1
|
|||
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBoxLangages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. p.117-132
Communication dans un congrès
hal-00388393v1
|
|||
|
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout ApproachesGraph Transformation, Specifications, and Nets, Oct 2016, Berlin, Germany. pp.1-18, ⟨10.1007/978-3-319-75396-6_1⟩
Communication dans un congrès
hal-01984729v1
|
||
|
Logical rules as fractions and logics as sketches2018
Pré-publication, Document de travail
hal-01829617v1
|
||
Towards Diagrammatic Specifications of Symbolic Computations SystemsMathematics, Algorithms, Proofs, Jan 2005, Dagstuhl, Germany. pp.2921-29223
Communication dans un congrès
hal-00171562v1
|
|||
|
Formal verification in Coq of program properties involving the global state effectJFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Communication dans un congrès
hal-00869230v2
|
||
Categorical Abstract Rewriting Systems and Functoriality of Graph TransformationGT-VMT 2011 - International Workshop on Graph Transformation and Visual Modeling Techniques (satellite workshop of ETAPS 2011), Apr 2011, Saarbrücken, Germany. 17 p
Communication dans un congrès
hal-00828532v1
|
|||
Decorated proofs for computational effects: StatesACCAT, 2012, -, Estonia
Communication dans un congrès
hal-00828544v1
|
|||
|
Deduction as Reduction2010
Pré-publication, Document de travail
hal-00532598v1
|
||
|
Graph rewriting with polarized cloning2009
Pré-publication, Document de travail
hal-00433379v2
|
||
|
Data-Structure Rewriting2005
Pré-publication, Document de travail
hal-00004558v1
|
||
|
Certified proofs in programs involving exceptionsConference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16
Communication dans un congrès
hal-00867237v3
|
||
|
Cartesian effect categories are Freyd-categoriesJournal of Symbolic Computation, 2011, 46 (3), pp.272-293. ⟨10.1016/j.jsc.2010.09.008⟩
Article dans une revue
hal-00369328v3
|
||
|
AGREE - Algebraic Graph Rewriting with Controlled EmbeddingICGT 2015 - 8th International Conference on Graph Transformation, Jul 2015, L'Aquila, Italy. pp.35-51, ⟨10.1007/978-3-319-21145-9_3⟩
Communication dans un congrès
hal-01403189v1
|
||
|
Decorated proofs for computational effects: Exceptions[Research Report] Université Grenoble Alpes (UGA). 2012
Rapport
hal-00678738v1
|
||
|
Diagrammatic logic applied to a parameterization processMathematical Structures in Computer Science, 2010, 20 (4), pp.639-654. ⟨10.1017/S0960129510000150⟩
Article dans une revue
hal-00411069v1
|
||
A parameterization process: from a functorial point of viewInternational Journal of Foundations of Computer Science, 2012, 23 (1), pp.225-242. ⟨10.1142/S0129054112500050⟩
Article dans une revue
hal-00828523v1
|
|||
|
Adjunctions for exceptions[Research Report] LJK. 2012
Rapport
hal-00714710v2
|
||
|
States and exceptions considered as dual effects[Research Report] Université Grenoble Alpes. 2011
Rapport
hal-00445873v4
|
||
|
Modeling pointer redirection as cyclic term-graph rewritingTERMGRAPH'06 - Third International Workshop on Term Graph Rewriting, Apr 2006, Vienne, Austria. pp.65-84, ⟨10.1016/j.entcs.2006.10.027⟩
Communication dans un congrès
hal-00388351v1
|
||
|
On foundational aspects of RDF and SPARQL2020
Pré-publication, Document de travail
hal-02316115v2
|
||
|
All You Need Is CONSTRUCT[Research Report] LIG (Laboratoire informatique de Grenoble); LJK / Grenoble University - INRIA. 2020
Rapport
hal-02954492v1
|
||
|
A duality between exceptions and statesMathematical Structures in Computer Science, 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩
Article dans une revue
hal-00650260v2
|
- 1
- 2