OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
241	Better typing errors for OCaml Arthur Charguéraud Inria 2 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 06:50:10 Procedural programming languages Type theory Functional languages Type systems Data types OCaml Caml ALGOL 68 ML Software engineering Computing Computer programming
242	LibreS3 Design, challenges and steps toward reusable libraries Edwin Török [removed] The OCaml Users and Developers Workshop, 2014 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 05:42:47 Adjoint functors OCaml Functional programming Monad Ocsigen Caml MLDonkey Török ML Software Computing Functional languages
243	OCaml◎Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 04:38:59 Functional languages OCaml Camlp4 ML Caml Type class Software engineering Computing Computer programming
244	Lightweight higher-kinded polymorphism (Extended version) Jeremy Yallop and Leo White University of Cambridge Abstract. Higher-kinded polymorphism —i.e. abstraction over type constructors— is an essential component Add to Reading List Source URL: www.lpw25.net Language: English - Date: 2015-02-22 16:28:22 Type theory Data types Functional programming Monad OCaml Type class Caml Type system Kind Software engineering Computing Computer programming
245	A Proposal for Non-Intrusive Namespaces in OCaml Pierrick Couderc Benjamin Canou INRIA Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-02 10:37:06 Namespace Cross-platform software Functional languages Perl module OCaml C++ Software engineering Computer programming Computing
246	High Performance Client-Side Web Programming with SPOC and Js of ocaml Mathias Bourgoin and Emmanuel Chailloux Sorbonne Universit´es, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005, Paris, France [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 19:43:15 GPGPU Graphics hardware Functional languages Video cards OCaml OpenCL Caml CUDA Ocsigen Computing Software Computer programming
247	A Case for Multi-Switch Constraints in OPAM Fabrice Le Fessant INRIA & OCamlPro fabrice.le [removed] Abstract Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-03-31 20:11:52 Ubuntu Archive formats Package management system Software distribution Debian Railroad switch OCaml Package PEAR Software Computing Dpkg
248	A Proposal for Non-intrusive Namespaces OCaml 2014 Pierrick COUDERC (INRIA), Fabrice LE FESSANT (INRIA & OCamlPro), Benjamin CANOU (OCamlPro), Pierre CHAMBART (OCamlPro) Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 21:13:17 Loyola Institute of Business Administration Env
249	OCaml: State of the Platform 2014 Anil Madhavapeddy (speaker) Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White, Jeremy Yallop Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 21:36:05 Cross-platform software Sinatra OCaml Linux kernel Debian Software Computing Free software
250	janvier[removed]Journées Francophones des Langages Applicatifs JFLA10 Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:55 Dpkg Ubuntu OCaml Package management system Debian RPM Package Manager Caml Deb Preprocessor Software Computing Archive formats

UPDATE