Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

OCaml-Java: the Java virtual machine as the target of an OCaml compiler

From MaRDI portal
Publication:5371968
Jump to:navigation, search

DOI10.1017/S0956796816000095zbMATH Open1420.68054WikidataQ121596703 ScholiaQ121596703MaRDI QIDQ5371968FDOQ5371968


Authors: Xavier Clerc Edit this on Wikidata


Publication date: 23 October 2017

Published in: Journal of Functional Programming (Search for Journal in Brave)





Recommendations

  • scientific article; zbMATH DE number 1756147
  • Compiling lazy functional programs for the Java Virtual Machine
  • Compiling standard ML to Java bytecodes
  • Design and implementation of Java just-in-time compiler
  • Automatic translation of Fortran to JVM bytecode


Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)


Cites Work

  • Compiling standard ML to Java bytecodes
  • Interlanguage working without tears: blending SML with Java


Cited In (4)

  • Automatic translation of Fortran to JVM bytecode
  • OCaml-Java
  • Title not available (Why is that?)
  • Title not available (Why is that?)

Uses Software

  • JoCaml
  • OCaml
  • Scala
  • Ocsigen
  • js_of_ocaml





This page was built for publication: OCaml-Java: the Java virtual machine as the target of an OCaml compiler

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5371968)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5371968&oldid=20084187"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 9 February 2024, at 00:39. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki