OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
151	Functional Programming and Verification Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-11-11 04:16:03 Functional languages Haskell Functional programming OCaml Lisp First-class function ML Clojure E Software engineering Computing Computer programming
152	Probabilistic programming using first-class stores and first-class continuations Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2010-06-28 20:21:14 Computing Statistical models Reasoning Continuations Delimited continuation Statistical relational learning Inference OCaml Software engineering Computer programming Control flow
153	Technical Report UCAM-CL-TR-605 ISSNNumber 605 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:00:33 Functional languages Type system Type safety Programming language Haskell OCaml Racket ML ALGOL 68 Software engineering Computing Programming language theory
154	Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:11:35 Logic in computer science Programming language semantics Denotational semantics Programming language Semantics Communications protocol OCaml Computer science Computing Theoretical computer science Software engineering
155	I N S U R A N C E O F F I C E Level 1, Elisabeth Murdoch BuildingCorner Masson and Spencer Roads The University of Melbourne. Vic. 3010. Add to Reading List Source URL: fpg.unimelb.edu.au Language: English - Date: 2013-11-20 20:13:51 Functional languages Type theory OCaml Procedural programming languages Data types Caml ML Preprocessor Java Computing Software engineering Computer programming
156	Presentation Title Emily: A High Performance Language For Secure Cooperation Add to Reading List Source URL: www.skyhunter.com Language: English - Date: 2006-02-14 18:48:19 Functional languages Type theory OCaml Procedural programming languages Data types Caml ML Preprocessor Java Computing Software engineering Computer programming
157	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: feever.fr Language: English - Date: 2014-09-15 03:55:36 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
158	Samuel Tesla 5844 Corby Street, Omaha, NE 68104 + (GMT -6) Add to Reading List Source URL: www.alieniloquent.com Language: English - Date: 2010-03-28 23:25:01 Functional languages Web application frameworks Lisp programming language Scripting languages OCaml Ruby on Rails Ruby Common Lisp Computing Software engineering Computer programming
159	A demo of Coco: a compiler for monadic coercions in ML Nataliya Guts† † Michael Hicks† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-08-29 10:40:12 Type theory Data types Functional languages Functional programming Adjoint functors Monad Type class OCaml ML Software engineering Computing Computer programming
160	Delimited Control in OCaml, Abstractly and Concretely Oleg Kiselyov Monterey, CA, U.S.A. Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2012-02-29 20:58:06 Functional languages Control flow Procedural programming languages Higher-order functions Cross-platform software OCaml Caml Delimited continuation Continuation Software engineering Computing Computer programming

UPDATE