Skip to Main content Skip to Navigation

inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-00524758v1  Journal articles
Julien ForestDelia Kesner. Expression Reduction Systems with Patterns
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
inria-00201123v1  Conference papers
Yuxin DengCatuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors
8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2005), Apr 2005, Edinburgh, United Kingdom. pp.110-124, ⟨10.1007/b106850⟩
inria-00201087v1  Conference papers
Yuxin DengTom ChothiaCatuscia PalamidessiJun Pang. Metrics for Action-labelled Quantitative Transition Systems
Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. pp.79-96, ⟨10.1016/j.entcs.2005.10.033⟩
inria-00200912v1  Conference papers
Yuxin DengCatuscia PalamidessiJun Pang. Weak Probabilistic Anonymity
3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. pp.55-76, ⟨10.1016/j.entcs.2005.05.043⟩
hal-00779752v1  Conference papers
Pierre-Marie Pédrot. Un régime au concentré d'automate
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
inria-00201100v1  Book sections
Yuxin DengCatuscia PalamidessiJun Pang. Compositional Reasoning for Probabilistic Finite-State Behaviors
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, ⟨10.1007/11601548_17⟩
hal-00275358v1  Journal articles
Grégoire HenryMichel MaunyEmmanuel Chailloux. Typer la désérialisation sans sérialiser les types
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090
hal-00725553v1  Conference papers
Russ HarmerJean KrivineÉlise LaruelleCédric LhoussaineGuillaume Madelaine et al.  Models of Tet-On System with Epigenetic Effects
Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
hal-00149566v1  Conference papers
Fabio MancinelliJaap BoenderRoberto Di CosmoJérôme VouillonBerke Durak et al.  Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩
hal-00938317v1  Conference papers
Paul DownenZena Ariola. The duality of construction
ESOP 2014 : European Symposium on Programming, Apr 2014, Grenoble, France. 15 p
hal-00548167v1  Conference papers
Noam Zeilberger. Polarity and the Logic of Delimited Continuations
25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.219 - 227, ⟨10.1109/LICS.2010.23⟩
hal-00149563v1  Conference papers
Roberto Di CosmoDidier RémyFrançois Pottier. Subtyping Recursive Types Modulo Associative Commutative Products
7th International Conference, TLCA 2005, Apr 2005, Nara, Japan. pp.179-193, ⟨10.1007/11417170_14⟩
inria-00629090v1  Conference papers
François PottierYann Régis-Gianas. Towards efficient, typed LR parsers.
ACM Workshop on ML, Mar 2006, Portland, Oregon, United States
inria-00629091v1  Conference papers
François PottierYann Régis-Gianas. Stratified type inference for generalized algebraic data types
POPL'06 - Proceedings of the 33rd ACM Symposium on Principles of Programming Languages, Jan 2006, Charleston, South Carolina, United States. pp.232--244
hal-00130322v1  Conference papers
Roberto M. AmadioFrederic Dabrowski. Feasible reactivity in a synchronous pi-calculus
ACM SIGPLAN Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.221-231
inria-00481815v1  Conference papers
Hugo Herbelin. An intuitionistic logic that proves Markov's principle
Logic In Computer Science, Jul 2010, Edinburgh, United Kingdom. pp.50-56
hal-00816918v1  Preprints, Working Papers, ...
Pierre Boutillier. Simple simpl
hal-01105252v1  Conference papers
Marc Lasson. Canonicity of Weak ω-groupoid Laws Using Parametricity Theory
MFPS 2014, Jun 2014, Ithaca, United States. pp.229 - 244, ⟨10.1016/j.entcs.2014.10.013⟩
hal-00690270v1  Conference papers
Federico AschieriMargherita Zorzi. Eliminating Skolem Functions in Peano Arithmetic with Interactive Realizability
Classical Logic and Computation 2012, Jul 2012, Warwick, United Kingdom. ⟨10.4204/EPTCS.97.1⟩
hal-01111193v1  Conference papers
Beta ZilianiMatthieu Sozeau. Towards a better-behaved unification algorithm for Coq
UNIF 2014 Workshop, Jul 2014, Vienna, Austria. pp 74--87
hal-01110337v1  Conference papers
Alexis SaurinPierre-Marie Pédrot. Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
hal-01110340v1  Conference papers
Marc BagnolAmina DoumaneAlexis Saurin. On the dependencies of logical rules
FOSSACS, 18th International Conference on Foundations of Software Science and Computation Structures, Apr 2015, London, United Kingdom
hal-01111802v1  Conference papers
Pierre-Marie Pédrot. A Functional Functional Interpretation
CSL-LICS 2014 - 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, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603094⟩
hal-01250855v1  Master thesis
Cyprien Mangin. Eliminating Dependent Pattern-Matching in Coq
Programming Languages [cs.PL]. 2015
inria-00409793v2  Conference papers
Guillaume Munch-Maccagnoni. Focalisation and Classical Realisability (version with appendices)
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⟩