OCAMLVIZ Julien Robert and Guillaume Von Tokarski September 17 2009 Contents 1 Introduction 2 Installation 22 gt ETE E aisr 8 a ea tee cha es aN Le AS aa es 2 2 Compiling from sources ok aS a 3 User Manual 3 1 Instrumenting User Code for Monitoring sl Module Point rds an irran a a eiar awn TS 3 1 2 Module Time ME A gk ene 3 153 Module Tagin Et Bs We keh e E a E a Sy 3 1 4 Module A eee ee i Ce cle ee ate 3 1 5 Module Hashtable cc E ate
OCaml Java Typing Java Accesses from OCaml Programs Xavier Clerc ocamljava org ocamljava x9c fr Abstract Functional languages although they often enable great developer productivity and ease software maintenance are commonly ham pered by smaller communities and fewer industrial strength players when compared to mainstream languages To partially overcome these problems it is usual to resort to a form of interoperability that allows a functional language to take adva
OCaml XDuce Alain Frisch INRIA Rocquencourt Alain Frisch inria fr Abstract This paper presents the core type system and type inference al gorithm of OCamlDuce a merger between OCaml and XDuce The challenge was to combine two type checkers of very differ ent natures while preserving the best properties of both princi pality and automatic type reconstruction on one side very cise types and implicit subtyping on the other side Type inference can be described
The JoCaml language Release 3 11 Documentation and user s manual Louis Mandel and Luc Maranget December 12 2008 Copyright c 2008 Institut National de Recherche en Informatique et en Automatique Contents I An introduction to JoCaml 5 1 Concurrent programming 7 1 1 Jonventions ee 7 PSS am p 6 Se bak ee EEE ME E A ee Bt a E E E 7 ees ee ce ye a ee ae om Oe Ge ee da ds ce ee dy 11 1 4 Control structures 2 A 16 1 5 Data structures ines PA
PPL The Parma Polyhedra Library OCaml Language Interface Developer s Manual version 1 1 Roberto Bagnara Patricia M Hill Enea Zaffanella Abramo Bagnara October 28 2013 This work is based on previous work also by Elisa Ricci Sara Bonini Andrea Pescetti Angela Stazzone Tatiana Zolo This work has been partly supported by University of Parma s FIL scientific research project ex 6096 Pure and Applied Mathematics MURST project Automatic Program
The OCaml system release 4 00 Documentation and user s manual Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R my and J r me Vouillon July 26 2012 Copyright 2012 Institut National de Recherche en Informatique et en Automatique Contents I An introduction to OCaml 9 1 TELZ Ba aea eae aea a aa a ee ae aa oe ee Se 11 a ee a a a ee ee ee eee ge Ge ep E e 12 1 3 Functions as values 2 2 a 13 14 Records and variants s ie srra adba te
OCaml XDuce Alain Frisch INRIA Rocquencourt Alain Frisch inria fr January 2006 Abstract This paper presents the core type system and type inference algorithm of OCamlDuce a merger between OCaml and XDuce The challenge was to combine two type checkers of very different natures while preserving the best proper ties of both principality and automatic type reconstruction on one side very precise types and implicit subtyping on the other side Type inference can be
The JoCaml language Release 3 12 Documentation and user s manual Louis Mandel and Luc Maranget September 6 2010 Copyright 2010 Institut National de Recherche en Informatique et en Automatique Contents Foreword This manual documents the release 3 12 of the JoCaml system JoCaml is an extension of Objective Caml License As an extension JoCaml includes much source code from Objective Caml It should be no surprise that JoCaml license is exactly Objective C
UNIX SYSTEM PROGRAMMING IN OCAML Xavier Leroy and Didier R my December 1 2014 1991 1992 2003 2004 2005 2006 2008 2009 2010 Xavier Leroy and Didier R my INRIA Rocquencourt Rights reserved Distributed under the Creative Commons Attribution Non commercial Share alike 2 0 France license See http creativecommons org licenses by nc sa 2 0 fr for the legal terms Translation by Daniel C Biinzli Eric Cooper Eliot Handelman Priya Ha
The JoCaml language Release 3 10 Documentation and user s manual Louis Mandel and Luc Maranget July 25 2007 Copyright c 2007 Institut National de Recherche en Informatique et en Automatique Contents I An introduction to JoCaml 5 1 Concurrent programming 7 1 1 Jonventions ee 7 PSS va p 6 Se bak ee Ee ee ee ee Bt a e A 7 ees ee ce ye a ee ae om Oe Ge ee da ds ce ee dy 11 14 Control structures 16 1 5 Data structures ices PEAY doe OY A woke
PPL The Parma Polyhedra Library OCaml Language Interface User s Manual version 1 1 Roberto Bagnara Patricia M Hill Enea Zaffanella Abramo Bagnara October 28 2013 This work has been partly supported by University of Parma s FIL scientific research project ex 60 Pure and Applied Math ematics MURST project Automatic Program Certification by Abstract Interpretation MURST project Abstract Interpretation Type Systems and Control Flow Analysi