OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
101	A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-04-16 05:17:54 Functional languages Recursion Data types Type theory Procedural programming languages Standard ML OCaml Caml Module Software engineering Computer programming Computing
102	Universit` a Ca’ Foscari Dipartimento di informatica Programmazione part-time Esame Ocaml Add to Reading List Source URL: www.dsi.unive.it Language: Italian - Date: 2010-07-07 10:14:53
103	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
104	Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-01-14 11:26:18 Computer programming Lambda calculus Logic in computer science Gossip protocol Network architecture Combinatory logic OCaml Peer-to-peer Chord Computing Distributed data storage Software
105	Alessandro Warth Address: 11666 Mayfield Ave., Apt. 201 Los Angeles, CAPhone: (E-mail: Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2011-08-08 02:31:34 Functional languages Programming paradigms Viewpoints Research Institute JavaScript Smalltalk Conditional Object-oriented programming Haskell OCaml Software engineering Computing Computer programming
106	DFScala: High Level Dataflow Support for Scala Daniel Goodman∗ Salman Khan Chris Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computer architecture Functional languages Programming paradigms Computer data Dataflow Parallel computing Directed acyclic graph OCaml Scala Computing Software engineering Computer programming
107	PDF Document Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-31 10:32:51 OCaml Parsing BioPerl Caml Genomics Software Computing Bioinformatics
108	OCamlCC OUDBenoˆıt Vaugon Introduction Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:53:46 Compiler optimizations Compilers Bytecode OCaml Just-in-time compilation Compiler ParisTech GNU Compiler Collection Peephole optimization Software Computing Compiler construction
109	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart1 , Grégoire Henry2 OUD 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:53:50 Functional languages Type theory Type systems OCaml Hindley–Milner Software engineering Computing Computer programming
110	OPAM: yet an other OCaml Package Manager Frederic Tuong Fabrice Le Fessant Thomas Gazagnaire Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:08 OCaml Debian Package management system Advanced Packaging Tool Deb Package Software Dpkg Ubuntu