Filtrer vos résultats
- 22
- 18
- 18
- 13
- 5
- 1
- 1
- 1
- 1
- 3
- 36
- 3
- 1
- 2
- 2
- 6
- 4
- 2
- 2
- 1
- 3
- 3
- 3
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 33
- 7
- 31
- 5
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 40
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
40 résultats
|
|
triés par
|
|
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA2), pp.479-504. ⟨10.1145/3563305⟩
Article dans une revue
hal-03920363v1
|
||
|
Generative Music Using Reactive ProgrammingInternational Computer Music Conférence, Jul 2021, Santiago, Chile
Communication dans un congrès
hal-03105666v1
|
||
|
Composing and Performing Interactive Music using the HipHop.js languageNIME 2019 - New Interfaces for Musical Expression, Jun 2019, Porto Allegre, Brazil
Communication dans un congrès
hal-02410197v1
|
||
|
SecureJS Compiler: Portable Memory Isolation in JavaScriptSAC 2021 - 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. ⟨10.1145/3412841.3442001⟩
Communication dans un congrès
hal-03090348v1
|
||
|
Mature-onset obesity and insulin resistance in mice deficient in the signaling adapter p62.Cell Metabolism, 2006, 3 (3), pp.211-22. ⟨10.1016/j.cmet.2006.01.011⟩
Article dans une revue
hal-00188124v1
|
||
|
A Glimpse of HopjsInternational Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩
Communication dans un congrès
hal-01350936v1
|
||
Of JavaScript AOT compilation performanceProceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3462299⟩
Article dans une revue
hal-03351860v1
|
|||
JavaScript Sealed ClassesECOOP 2022 - 36th European Conference on Object-Oriented Programming, Jun 2022, Berlin, Germany
Communication dans un congrès
hal-03920356v1
|
|||
Recueil de petits problèmes en SchemeSpringer, 1999, 978-3-540-66043-7
Ouvrages
hal-01574460v1
|
|||
Dynamic property caches: a step towards faster JavaScript proxy objectsCC '20 - 29th International Conference on Compiler Construction, Feb 2020, San Diego CA, United States. pp.108-118, ⟨10.1145/3377555.3377888⟩
Communication dans un congrès
hal-03047893v1
|
|||
|
Skini:Reactive Programming for Interactive Structured MusicThe Art, Science, and Engineering of Programming, 2020
Article dans une revue
hal-03105643v1
|
||
|
Interactive Music and Synchronous Reactive ProgrammingThe Art, Science, and Engineering of Programming, 2020, 5 (1), ⟨10.22152/programming-journal.org/2021/5/2⟩
Article dans une revue
hal-03554412v1
|
||
A Multitier Debugger for Web ApplicationsWEBIST'14, Apr 2014, Barcelone, Spain. pp.14, ⟨10.1007/978-3-319-27030-2⟩
Communication dans un congrès
hal-00980605v1
|
|||
Une galerie de photos sur le Web avec Hop (2ème partie)Programmez !, 2008, 105, pp.64-66
Article dans une revue
hal-00640570v1
|
|||
|
Variable structure robot control systems: The RAPP approachRobotics and Autonomous Systems, 2017, 94, pp.18. ⟨10.1016/j.robot.2017.05.002⟩
Article dans une revue
hal-01550448v1
|
||
Causality Error Tracing in HipHopPrinciples and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia
Communication dans un congrès
hal-03351887v1
|
|||
|
Polycomb mediated epigenetic silencing and replication timing at the INK4a/ARF locus during senescence.PLoS ONE, 2009, 4 (5), pp.e5622. ⟨10.1371/journal.pone.0005622⟩
Article dans une revue
hal-00408485v1
|
||
|
The Computer Scientist Nightmare: My Favorite BugA List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, 9600, Springer, pp.356-366, 2016, Lecture Notes on Computer Science, 978-3-319-30936-1
Chapitre d'ouvrage
hal-01340384v1
|
||
Property caches revisitedCC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.99-110, ⟨10.1145/3302516.3307344⟩
Communication dans un congrès
hal-02418678v1
|
|||
An Executable Semantics for Faster Development of Optimizing Python CompilersSLE ' 2023 : 16th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2023, Cascais Portugal, Portugal. pp.15-28, ⟨10.1145/3623476.3623529⟩
Communication dans un congrès
hal-04391611v1
|
|||
|
Software Evaluation[Research Report] Inria. 2021
Rapport
hal-03110728v1
|
||
|
Trends in Functional Programming (TFP 2015)Manuel Serrano; Jurriaan Hage. Trends in Functional Programming, Jun 2015, Sophia Antipolis, France. 9547, Springer Verlag, pp.156, 2016, Lecture Notes on Computer Science, 978-3-319-39110-6. ⟨10.1007/978-3-319-39110-6⟩
Proceedings/Recueil des communications
hal-01354237v1
|
||
|
Hop and HipHop : Multitier Web OrchestrationInternational Conference on Distributed Computing and Internet Technology, Feb 2014, Bhubaneswar, India
Communication dans un congrès
hal-00911782v1
|
||
|
Vers une programmation fonctionnelle praticableGénie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2000
HDR
tel-00505235v1
|
||
|
Jthread, a deadlock-free mutex libraryPrinciples and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, ⟨10.1145/2790449.2790523⟩
Communication dans un congrès
hal-01246618v1
|
||
|
JavaScript AOT compilationthe 14th ACM SIGPLAN International Symposium on Dynamic Languages, Nov 2018, Boston, France. ⟨10.1145/3276945.3276950⟩
Communication dans un congrès
hal-01937197v1
|
||
|
Bilan de la mandature 2019-2023 de la Commission d'Évaluation InriaInria. 2023
Rapport
hal-04193082v1
|
||
|
SIRT1 Stabilizes PML promoting its SumoylationCell Death and Differentiation, 2010, ⟨10.1038/cdd.2010.77⟩
Article dans une revue
hal-00550248v1
|
||
|
1+1=1 : an optimizing Caml compiler[Research Report] RR-2301, INRIA. 1994
Rapport
inria-00074372v1
|
||
|
Hiphop.js: a language to orchestrate web applicationsSAC: Symposium on Applied Computing, Apr 2018, Pau, France. pp.2193-2195, ⟨10.1145/3167132.3167440⟩
Communication dans un congrès
hal-01937252v1
|
- 1
- 2