255 articles – 289 notices  [english version]
.:. Consultation > Liste des articles .:.
544 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access A relaxation of Coq's guard condition
Boutillier P.
Dans Actes des Journées Francophones des langages Applicatifs - JFLA - Journées Francophones des langages applicatifs - 2012, France (2012) [hal-00651780 - version 1]
fulltext access Safe Incremental Type Checking
Puech M., Régis-Gianas Y.
TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, États-Unis (2012) [hal-00650341 - version 1]
fulltext access Interactive Realizability for Second-Order Heyting Arithmetic with EM1 and SK1
Aschieri F.
[hal-00657054 - version 1] (05/01/2012)
A relational semantics of parallelism and non-determinism in a functional setting.
Bucciarelli A., Ehrhard T., Manzonetto G.
Annals of Pure and Applied Logic (2012) [inria-00628887 - version 1]
Supporting Software Evolution in Component-Based FOSS Systems
Di Cosmo R., Di Ruscio D., Pelliccione P., Pierantonio A., Zacchiroli S.
Science of Computer Programming 76, 12 (2011) 1144-1160 [hal-00628551 - version 1]
Supporting software evolution in component-based FOSS systems.
Di Cosmo R., Di Ruscio D., Pelliccione P., Pierantonio A., Zacchiroli S.
Science of Computer Programming 76, 12 (2011) 1144-1160 [hal-00622823 - version 1]
fulltext access A Unified Approach to Fully Lazy Sharing
Balabonski T.
Rapport de recherche [hal-00637048 - version 1]
fulltext access Certifying and reasoning on cost annotations of functional programs
Amadio R. M., Regis-Gianas Y.
Rapport de recherche (2011) [inria-00629473 - version 1]
fulltext access Distributed Markov Processes
Abbes S.
Rapport de recherche [hal-00631501 - version 1]
Aligning component upgrades
Di Cosmo R., Lhomme O., Michel C.
Dans Logics for Component Configuration - Logics for Component Configuration, Italie (2011) [hal-00622830 - version 1]
On software component co-installability
Vouillon J., Di Cosmo R.
Dans ESEC/FSE - ESEC/FSE, France (2011) [hal-00622826 - version 1]
fulltext access Proofs as Tree Languages
Hetzl S.
Rapport de recherche [hal-00613713 - version 1]
fulltext access Realizability algebras: a program to well order R
Krivine J.-L.
Logical Methods in Computer Science (LMCS) 7, 3 (2011) 1-47 [hal-00483232 - version 2]
fulltext accessible on an other server Towards a homotopy theory of higher dimensional transition systems
Gaucher P.
Theory and Applications of Categories 25, 12 (2011) 295-341 [hal-00532852 - version 1]
Programmation de droite à gauche
Manoury P.
Paracamplus ed. 150 pages, 16 euros (2011) [hal-00641017 - version 1]