Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Benjamin Canou"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-25
This article describes the key innovations used in the massive open online course ``Introduction to Functional Programming using OCaml'' that has run since the fall semester of 2015. A fully in-browser development environment with an integrated grade
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b307d58083d2dcd880b250e7937dbf4
https://doi.org/10.1145/3110248
https://doi.org/10.1145/3110248
Publikováno v:
WWW (Companion Volume)
In this paper, after relating a short history of the mostly unhappy relationship between static typing and JavaScript (JS), we explain a new attempt at conciliating them which is more respectful of both worlds than other approaches. As an example, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d134895f9b28625fba7db14b3ba5ffb0
https://doi.org/10.1145/2487788.2487794
https://doi.org/10.1145/2487788.2487794
Publikováno v:
International Symposium on Practical Aspects of Declarative Languages (PADL 2013)
International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Jan 2013, Rome, Italy. pp.109-124, ⟨10.1007/978-3-642-45284-0_8⟩
Practical Aspects of Declarative Languages ISBN: 9783642452833
PADL
International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Jan 2013, Rome, Italy. pp.109-124, ⟨10.1007/978-3-642-45284-0_8⟩
Practical Aspects of Declarative Languages ISBN: 9783642452833
PADL
The Document Object Model DOM is the document manipulation API provided to the JavaScript developer by the browser. It allows the programmer to update the currently displayed Web page from a client side script. For this, DOM primitives can create, re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1127bfb6993c10163bdddf6700fa8d51
https://hal.science/hal-00826790
https://hal.science/hal-00826790
Autor:
Benjamin Canou, Olivier Andrieu, Bruno Pagano, Philippe Wang, Jean-Louis Colaço, Emmanuel Chailloux, Thomas Moniot, Pascal Manoury
Publikováno v:
ICFP
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009)
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. pp.215-220, ⟨10.1145/1596550.1596582⟩
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009)
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. pp.215-220, ⟨10.1145/1596550.1596582⟩
International audience; High-level tools have become unavoidable in industrial software development processes. Safety-critical embedded programs don't escape this trend. In the context of safety-critical embedded systems, the development processes fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64823e09d7e93e6655bbae509750499b
https://doi.org/10.1145/1596550.1596582
https://doi.org/10.1145/1596550.1596582
Autor:
Benjamin Canou, Alexis Darrasse
Publikováno v:
2009 ACM SIGPLAN Workshop on ML
2009 ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom. pp.61-70, ⟨10.1145/1596627.1596637⟩
2009 ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom. pp.61-70, ⟨10.1145/1596627.1596637⟩
International audience; Numerous software testing methods involve random generation of data structures. However, random sampling methods currently in use by testing frameworks are not satisfactory: often manually written by the programmer or at best
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14e47dee4fc3dd01b1c09d05a8b7cb6a
https://hal.archives-ouvertes.fr/hal-00391817
https://hal.archives-ouvertes.fr/hal-00391817
Publikováno v:
Proceedings of the 2008 ACM SIGPLAN Workshop on ML
The 2008 ACM SIGPLAN Workshop on ML
The 2008 ACM SIGPLAN Workshop on ML, Sep 2008, Victoria BC, Canada. pp.69-78
ML
The 2008 ACM SIGPLAN Workshop on ML
The 2008 ACM SIGPLAN Workshop on ML, Sep 2008, Victoria BC, Canada. pp.69-78
ML
International audience; We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve this, we designed a bytecode interpreter in Ja
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33c0c8aec3308c18c443a308b94ce8d8
https://hal.archives-ouvertes.fr/hal-00327504
https://hal.archives-ouvertes.fr/hal-00327504