OCaml-Java: OCaml on the JVM
作者： Xavier Clerc
DOI: 10.1007/978-3-642-40447-4_11
关键词: Programming language 、 Java 、 Leverage (statistics) 、 Java virtual machine 、 Concurrent computing 、 Computer science 、 Compiler 、 Software transactional memory 、 Shared memory
摘要: This article presents the OCaml-Java project whose goal is to allow compilation of OCaml sources into Java bytecodes. The ability run code on a virtual machine provides developer with means leverage strengths ecosystem lacking in world. Most notably, this includes access great number libraries, and foundations for shared-memory concurrent programming. In order achieve this, does three contributions: i an optimized compiler runtime support acceptable performance, ii extension classical typer manipulation elements from world, iii library dedicated
springer.com
sci-hub.st 参考文章(13)
Jean-Christophe Filliâtre, K. Kalyanasundaram, Functory: a distributed computing library for objective caml trends in functional programming. pp. 65- 81 ,(2011) , 10.1007/978-3-642-32037-8_5
John H. Reppy, Concurrent ML: Design, Application and Semantics Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. pp. 165- 198 ,(1993) , 10.1007/3-540-56883-2_10
Nick Benton, Andrew Kennedy, George Russell, Compiling standard ML to Java bytecodes international conference on functional programming. ,vol. 34, pp. 129- 140 ,(1998) , 10.1145/289423.289435
Rich Hickey, The Clojure programming language Proceedings of the 2008 symposium on Dynamic languages - DLS '08. pp. 1- 1 ,(2008) , 10.1145/1408681.1408682
Michael F. Ringenburg, Dan Grossman, AtomCaml: first-class atomicity via rollback international conference on functional programming. ,vol. 40, pp. 92- 104 ,(2005) , 10.1145/1086365.1086378
Nick Benton, Andrew Kennedy, Interlanguage working without tears: blending SML with Java international conference on functional programming. ,vol. 34, pp. 126- 137 ,(1999) , 10.1145/317636.317791
Functional Programming, Concurrency, Simulation and Automated Reasoning Springer Berlin Heidelberg. ,(1993) , 10.1007/3-540-56883-2
Luc Maranget, Fabrice Le Fessant, Cédric Fournet, Alan Schmitt, JoCaml: A language for concurrent distributed and mobile programming Lecture Notes in Computer Science. pp. 129- 158 ,(2003)
Philip Wadler, XQuery: A Typed Functional Language for Querying XML Advanced Functional Programming. pp. 188- 212 ,(2003) , 10.1007/978-3-540-44833-4_7
George Russell, Nick Benton, Andrew Kennedy, Compiling standard ML to Java bytecodes Sigplan Notices. ,(1998) , 10.1145/291251.289435