Search - Archive ouverte HAL Access content directly

Filter your results

39 Results
Image document

Generative Music Using Reactive Programming

Bertrand Petit , Manuel Serrano
International Computer Music Conférence, Jul 2021, Santiago, Chile
Conference papers hal-03105666v1

Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters

Joshua Hoeflich , Robert Bruce Findler , Manuel Serrano
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA2), pp.479-504. ⟨10.1145/3563305⟩
Journal articles hal-03920363v1
Image document

Skini:Reactive Programming for Interactive Structured Music

Bertrand Petit , Manuel Serrano
The Art, Science, and Engineering of Programming, 2020
Journal articles hal-03105643v1

A Multitier Debugger for Web Applications

Manuel Serrano
WEBIST'14, Apr 2014, Barcelone, Spain. pp.14, ⟨10.1007/978-3-319-27030-2⟩
Conference papers hal-00980605v1

Une galerie de photos sur le Web avec Hop (2ème partie)

Manuel Serrano , Christian Queinnec
Programmez !, 2008, 105, pp.64-66
Journal articles hal-00640570v1

Dynamic property caches: a step towards faster JavaScript proxy objects

Manuel Serrano , Robert Bruce Findler
CC '20 - 29th International Conference on Compiler Construction, Feb 2020, San Diego CA, United States. pp.108-118, ⟨10.1145/3377555.3377888⟩
Conference papers hal-03047893v1

Interactive Music and Synchronous Reactive Programming

Manuel Serrano , Bertrand Petit
The Art, Science, and Engineering of Programming, 2020, 5 (1), ⟨10.22152/programming-journal.org/2021/5/2⟩
Journal articles hal-03554412v1

Causality Error Tracing in HipHop

Jayanth Krishnamurthy , Manuel Serrano
Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia
Conference papers hal-03351887v1

Property caches revisited

Manuel Serrano , Marc Feeley
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.99-110, ⟨10.1145/3302516.3307344⟩
Conference papers hal-02418678v1
Image document

Polycomb mediated epigenetic silencing and replication timing at the INK4a/ARF locus during senescence.

Hanane Agherbi , Anne Gaussmann-Wenger , Christophe Verthuy , Lionel Chasson , Manuel Serrano , et al.
PLoS ONE, 2009, 4 (5), pp.e5622. ⟨10.1371/journal.pone.0005622⟩
Journal articles hal-00408485v1
Image document

The Computer Scientist Nightmare: My Favorite Bug

Manuel Serrano
A 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
Book sections hal-01340384v1
Image document

Variable structure robot control systems: The RAPP approach

Cezary Zieliński , Maciej Stefańczyk , Tomasz Kornuta , Maksym Figat , Wojciech Dudek , et al.
Robotics and Autonomous Systems, 2017, 94, pp.18. ⟨10.1016/j.robot.2017.05.002⟩
Journal articles hal-01550448v1
Image document

Bigloo User's Manual

Manuel Serrano
RT-0169, INRIA. 1994, pp.26
Reports inria-00070001v1
Image document

Requesting Heterogeneous Data Sources with Array Comprehensions in Hop.js

Yoann Couillec , Manuel Serrano
15th Symposium on Database Programming Languages,, ACM, Oct 2015, Pittsburgh, United States. pp.4, ⟨10.1145/2815072.2815077⟩
Conference papers hal-01246628v1

A simplified multi-tiers semantics for Hop

Manuel Serrano , Christian Queinnec
Higher-Order and Symbolic Computation, 2010, pp.1-23. ⟨10.1007/s10990-010-9061-9⟩
Journal articles hal-00498502v1

HTML5 VIDEO portable avec Hop

Manuel Serrano , Christian Queinnec
GNU/Linux Magazine, 2010, 129, pp.92-98
Journal articles hal-00498507v1

HipHop.js: (A)Synchronous reactive web programming

Gérard Berry , Manuel Serrano
PLDI '20 - 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jul 2020, London UK, United Kingdom. pp.533-545, ⟨10.1145/3385412.3385984⟩
Conference papers hal-03047902v1
Image document

Évaluation des Logiciels

Anne Canteaut , Miguel Angel Fernández , Luc Maranget , Sophie Perin , Mario Ricchiuto , et al.
[Rapport de recherche] Inria. 2021
Reports hal-03110723v1
Image document

A Glimpse of Hopjs

Manuel Serrano , Vincent Prunet
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩
Conference papers hal-01350936v1

Of JavaScript AOT compilation performance

Manuel Serrano
Proceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3462299⟩
Journal articles hal-03351860v1

JavaScript Sealed Classes

Manuel Serrano
ECOOP 2022 - 36th European Conference on Object-Oriented Programming, Jun 2022, Berlin, Germany
Conference papers hal-03920356v1

Recueil de petits problèmes en Scheme

Luc Moreau , Christian Queinnec , Daniel Ribbens , Manuel Serrano
Springer, 1999, 978-3-540-66043-7
Books hal-01574460v1
Image document

Hiphop.js: a language to orchestrate web applications

Colin Vidal , Gérard Berry , Manuel Serrano
SAC: Symposium on Applied Computing, Apr 2018, Pau, France. pp.2193-2195, ⟨10.1145/3167132.3167440⟩
Conference papers hal-01937252v1
Image document

Locking Fast

Manuel Serrano , Johan Grande
Symposium on Applied Computing, ACM, Mar 2014, Gyeongju, South Korea
Conference papers hal-00912569v1

Oncogenicity of the developmental transcription factor Sox9.

Ander Matheu , Manuel Collado , Clare Wise , Lorea Manterola , Lina Cekaite , et al.
Cancer Research, 2012, 72 (5), pp.1301-15. ⟨10.1158/0008-5472.CAN-11-3660⟩
Journal articles hal-00768487v1
Image document

SIRT1 Stabilizes PML promoting its Sumoylation

Carmen Rivas , Michela Campagna , Daniel Herranz , María Angel García , Laura Marcos-Villar , et al.
Cell Death and Differentiation, 2010, ⟨10.1038/cdd.2010.77⟩
Journal articles hal-00550248v1
Image document

1+1=1 : an optimizing Caml compiler

Manuel Serrano , Pierre Weis
[Research Report] RR-2301, INRIA. 1994
Reports inria-00074372v1

Hop. un langage de programmation pour le Web (1ère partie)

Manuel Serrano , Christian Queinnec
Programmez !, 2008, 104, pp.53-55
Journal articles hal-00640568v1
Image document

RAPP System Architecture

Fotis Psomopoulos , Emmanouil Tsardoulias , Alexandros Giokas , Cezary Zielinski , Vincent Prunet , et al.
Assistance and Service Robotics in a Human Environment, IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2014, Chicago, United States
Conference papers hal-01090891v1
Image document

Composing and Performing Interactive Music using the HipHop.js language

Bertrand Petit , Manuel Serrano
NIME 2019 - New Interfaces for Musical Expression, Jun 2019, Porto Allegre, Brazil
Conference papers hal-02410197v1