From bytecode to JavaScript: the Js_of_ocaml compiler-Reference-Cited by-同舟云学术

From bytecode to JavaScript: the Js_of_ocaml compiler

Published:2013-02-26 Issue:8 Volume:44 Page:951-972
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw. Pract. Exper.

Author:

Vouillon Jérôme¹,Balat Vincent²

Affiliation:

1. CNRS, PPS, UMR 7126; Université Paris Diderot; Sorbonne Paris Cité F-75205 Paris France

2. Université Paris Diderot; Sorbonne Paris Cité; PPS UMR 7126, CNRS, INRIA Paris-Rocquencourt F-75205 Paris France

Publisher

Wiley

Subject

Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/spe.2187/fullpdf

Reference33 articles.

1. Leroy X Doligez D Garrigue J Vouillon J Rémy D The objective Caml system. Software and documentation available on the Web 2013 http://caml.inria.fr/

2. Montelatici R Chailloux E Pagano B Objective Caml on .NET: the OCamIL compiler and toplevel 3rd International Conference on .NET Technologies 2005 109 120 http://hal.archives-ouvertes.fr/hal-00003784/en/

3. Type-based analysis of uncaught exceptions;Leroy;ACM Transactions on Programming Languages and Systems,2000

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Total Type Error Localization and Recovery with Holes;Proceedings of the ACM on Programming Languages;2024-01-05

2. Explainable Online Monitoring of Metric First-Order Temporal Logic;Lecture Notes in Computer Science;2024

3. Defunctionalization with Dependent Types;Proceedings of the ACM on Programming Languages;2023-06-06

4. Explainable Online Monitoring of Metric Temporal Logic;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Catala: Moving towards the future of legal expert systems;Artificial Intelligence and Law;2022-08-25