Skip to Main content Skip to Navigation

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-00070035v1  Reports
Roberto M. AmadioLuca Cardelli. Subtyping recursive types
[Research Report] RT-0133, INRIA. 1992, pp.60
inria-00074981v1  Reports
Roberto M. Amadio. On the adequacy of per models
[Research Report] RR-1579, INRIA. 1992
hal-00147008v1  Journal articles
Roberto M. AmadioGérard BoudolCédric Lhoussaine. The receptive distributed pi-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2003, 25 (5), pp.549-577
hal-00702665v2  Conference papers
Nicolas AyacheRoberto M. AmadioYann Régis-Gianas. Certifying and reasoning on cost annotations in C programs
FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, Aug 2012, Paris, France
inria-00629473v2  Journal articles
Roberto M. AmadioYann Régis-Gianas. Certifying and reasoning about cost annotations of functional programs
Higher-Order and Symbolic Computation, Springer Verlag, 2013
hal-00625760v1  Conference papers
Roberto M. AmadioPatrick BaillotAntoine Madet. An affine-intuitionistic system of types and effects: confluence and termination
Workshop LOLA "Syntax and Semantics of Low Level Languages", Jul 2010, Edimbourg, United Kingdom
inria-00070008v1  Reports
Roberto M. AmadioPierre-Louis Curien. Selected domains and lambda calculi
[Technical Report] RT-0161, INRIA. 1994, pp.199
hal-00147244v1  Conference papers
Roberto M. AmadioFrederic Dabrowski. Feasible Reactivity for Synchronous Cooperative Threads.
Process Algebra, Jul 2006, France. pp.33-43