Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche INDES
Publications de l'équipe INDES
2011
Documents sans référence de publication
- Titre
- Proposal for a Dynamic Synchronous Language
- Auteurs
- Pejman Attar; Frédéric Boussinot; Louis Mandel; Jean-Ferdy Susini
- Détail
- May. 2011
- Accès au texte intégral et bibtex
-
- Titre
- Simulation of Quantum Mechanics Using Reactive Programming
- Auteurs
- Frédéric Boussinot
- Détail
- Jan. 2011
- Accès au texte intégral et bibtex
-
2010
Articles dans des revues avec comité de lecture
- Titre
- A simplified multi-tiers semantics for Hop
- Auteurs
- Manuel Serrano; Christian Queinnec
- Détail
- HOSC, 2010, pp. 1-23
- Accès au bibtex
-
Articles dans des revues sans comité de lecture
- Titre
- HTML5 VIDEO portable avec Hop
- Auteurs
- Manuel Serrano; Christian Queinnec
- Détail
- GNU/Linux Magazine France, 2010, 129, pp. 92-98
- Accès au bibtex
-
Rapports
- Titre
- Session Types for Access and Information Flow Control
- Auteurs
- Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Tamara Rezk
- Détail
- [Research Report], 2010, pp. 48. RR-7368
- Accès au texte intégral et bibtex
-
2008
Articles dans des revues sans comité de lecture
- Titre
- Hop. un langage de programmation pour le Web (1ère partie)
- Auteurs
- Manuel Serrano; Christian Queinnec
- Détail
- Programmez, 2008, 104, pp. 53-55
- Accès au bibtex
-
- Titre
- Une galerie de photos sur le Web avec Hop (2ème partie)
- Auteurs
- Manuel Serrano; Christian Queinnec
- Détail
- Programmez, 2008, 105, pp. 64-66
- Accès au bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
