OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
341	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2011-02-17 08:29:02 Programming language implementation Functional languages Procedural programming languages Compiler construction Reference Compiler Annotation OCaml C Computing Software engineering Software
342	An OCaml-based automated theorem-proving textbook John Harrison, Intel Corporation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-17 14:09:54 Automated theorem proving Logic in computer science Mathematical logic Automated reasoning HOL Logic programming Algorithm Theorem Mathematics Logic Theoretical computer science
343	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-03-17 19:02:34 Procedural programming languages Functional languages Data types Type theory Control flow OCaml Caml Type system ALGOL 68 Computing Software engineering Computer programming
344	PDF Document Add to Reading List Source URL: www.danielzingaro.com Language: English - Date: 2009-02-24 14:19:29 Programming language implementation Transformation languages C programming language Camlp4 Parsing Macro programming languages Preprocessor OCaml Hygienic macro Computing Software engineering Computer programming
345	PDF Document Add to Reading List Source URL: files.metaprl.org Language: English - Date: 2008-01-11 23:36:54 Data types Type theory Object-oriented programming Functional languages Polymorphism OCaml Subtype polymorphism Type system Caml Software engineering Computing Computer programming
346	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-12-28 16:47:05 Computing OCaml Coq Type system Type variable Intuitionistic type theory ML ATS Monad Software engineering Programming language theory Type theory
347	PDF Document Add to Reading List Source URL: cufp.galois.com Language: English - Date: 2008-02-15 20:56:37 Functional languages OCaml Caml National Institute for Research in Computer Science and Control Xavier Leroy ML Software engineering Computing Computer programming
348	PDF Document Add to Reading List Source URL: le-gall.net Language: English - Date: 2008-06-30 17:02:39 Java platform Java programming language OCaml Java Native Interface Java Bytecode Caml Preprocessor Computing Software Cross-platform software