OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
41	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
42	OCaml Standard Tools Standard Tools .opt tools are the same tools, compiled in native-code, thus much faster. ocamlopt[.opt] native-code compiler Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Programming language implementation Object-oriented programming languages Compiler construction Compiling tools Build automation OCaml Compiler Interpreter Bytecode Make Lexical analysis GNU Compiler Collection
43	The SmPL Grammar (versionResearch group on Coccinelle June 3, 2016 This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard no Add to Reading List Source URL: coccinelle.lip6.fr Language: English Syntax Metalogic Metavariable Functional languages Logical truth Propositional calculus Rule of inference Identifier OCaml Coccinelle Cascading Style Sheets Reserved word
44	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages Data types Object-oriented programming languages C++ Procedural programming languages OCaml Caml Const Tagged union Higher-order function C++ classes ALGOL 68
45	Programovací jazyky F# a OCaml Chapter 6. Sequence expressions and computation expressions (aka monads) Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages OCaml Caml Sequence Monad ML Seq
46	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Functional programming Data types Subroutines Programming idioms Object Anonymous function Immutable object This Constructor Recursion Const Monad
47	Some uses of Caml in industry Xavier Leroy INRIA Paris-Rocquencourt CUFP 2007 Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:46 Functional languages OCaml French Institute for Research in Computer Science and Automation Caml ML Xavier Leroy
48	Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Control flow Functional languages Abstract data types Continuations Software design patterns OCaml Delimited continuation Concurrent computing Thread Monad Queue Monitor
49	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
50	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference