OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
171	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:51:53 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
172	Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau Julia Lawall Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:58 Linux Coccinelle Code refactoring Unix Linux kernel Stat Device driver Patch OCaml Software Computing System software
173	The Design and Implementation of BER MetaOCaml System Description http://okmij.org/ftp/ML/MetaOCaml.html Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-05 20:02:39 Functional languages Cross-platform software Lisp programming language Procedural programming languages Data types Eval Lisp OCaml Type system Computing Software engineering Computer programming
174	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming
175	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Mads Chr. Olesen1 , Ren´e Rydhof Hansen1 , Julia L. Lawall2 , Nicolas Palix2 1 rrh,, http://www.cs Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:19 Data types Primitive types C programming language Coccinelle Code refactoring Software bugs Pointer C OCaml Software engineering Computing Computer programming
176	Monolingual Probabilistic Programming Using Generalized Coroutines Oleg Kiselyov FNMOC Monterey, CA 93943 Add to Reading List Source URL: okmij.org Language: English - Date: 2009-05-31 04:24:02 Statistical inference OCaml Bayesian inference Inference Bayesian network Importance sampling Probability Statistics Bayesian statistics Statistical theory
177	MLAPRONIDL: OCaml interface for APRON library Bertrand Jeannet September 11, 2009 All files distributed in the APRON library, including MLApronIDL subpackage, are distributed under LGPL license. Add to Reading List Source URL: apron.cri.ensmp.fr Language: English - Date: 2009-09-11 14:11:21 Functional languages OCaml Type system GNU Multiple Precision Arithmetic Library OBJ Arbitrary-precision arithmetic Monad Function Module Software engineering Computing Computer programming
178	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
179	Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing System Description Karim Barkati, Haisheng Wang, and Pierre Jouvelot MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-03-14 06:36:53 Digital signal processing Signal processing Vectors FAUST OCaml Fast Fourier transform Discrete Fourier transform Scheme Signal Algebra Software Computing
180	Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages Add to Reading List Source URL: okmij.org Language: English - Date: 2011-07-01 22:41:16 Type theory Data types Functional languages Functional programming Procedural programming languages Generalized algebraic data type Type system OCaml Type inference Software engineering Programming language theory Computing

UPDATE