OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
131	Electronic Communications of the EASST VolumeProceedings of the Fourth International Workshop on Foundations and Techniques for Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:24:56 Data types Software bugs Primitive types C programming language C++ Coccinelle Pointer C OCaml Software engineering Computing Computer programming
132	Presenting OCaml Labs Wednesday, 26 September 12 What is OCaml Labs? Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages OCaml ML Alan Mycroft Mycroft Software engineering Computing Computer programming
133	OCaml Companion Tools Xavier Clerc – July 25, 2012 Abstract The objective of this talk is to present several tools that aim to ease the development of software written with the OCaml language. These Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-31 10:33:34 Cross-platform software OCaml Programming tool QuickCheck Camlp4 Code coverage C Software Computing Software testing
134	Unikernels: Library Operating Systems for the Cloud Anil Madhavapeddy, Richard Mortier1 , Charalampos Rotsos, David Scott2 , Balraj Singh, Thomas Gazagnaire3 , Steven Smith, Steven Hand and Jon Crowcroft University of Ca Add to Reading List Source URL: nymote.org Language: English Virtual machines University of Cambridge Computer Laboratory Xen Hyper-V Hypervisor NetBSD OCaml Paravirtualization Operating system System software Software Computing
135	Study of OCaml programs’ memory behavior C ¸ agdas Bozman Thomas Gazagnaire Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:01:59 Memory management Functional languages Procedural programming languages Type theory Data types OCaml Region-based memory management ML Caml Computing Software engineering Computer programming
136	Async David House Mark Shinwell Jane Street Europe Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages OCaml Caml Computation E Monad Thread Computing Computer programming Software engineering
137	Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:05 Mathematics MPFR Interval arithmetic Rounding OCaml Arbitrary-precision arithmetic X87 Floating point IEEE 754-2008 Computing Computer arithmetic Computer architecture
138	The Memory Behavior Of OCaml Programs OUD 2012 C ¸ agdas Bozman1,2,3 Thomas Gazagnaire1 Fabrice Le Fessant2 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-20 09:53:02 Software optimization Memory management Computer memory Profilers Profiling Memory leak OCaml C dynamic memory allocation Caml Computing Computer programming Software engineering
139	Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Structure Mathematical logic Formal methods Algebra Boolean algebra Chiron Logic Algorithm Module Mathematics Algebraic structures Theoretical computer science
140	OCaml Companion Tools OCaml Users & Developers 2012 Copenhagen - 14 september 2012 Xavier Clerc - Whatever your process is... Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-20 09:53:01 Functional languages OCaml QuickCheck Caml ATS XUnit Kaputt ML Software engineering Computing Computer programming

UPDATE