PDF Document

Source URL: ocaml.org

A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents

Source URL: focalize.ensta-paristech.fr

• General topology
• Set theory
• Subset
• Closure
• OCaml
• Mathematical proof
• Support
• Mathematics
• Topology
• Mathematical logic

BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

Source URL: www.brics.dk

• Functional languages
• Type theory
• Data types
• Lambda calculus
• Logic in computer science
• Type system
• ML
• OCaml
• Partial evaluation
• Software engineering
• Programming language theory
• Computing

FoCaLiZe Reference ManualOctober 2014

Source URL: focalize.inria.fr

• Cross-platform software
• Procedural programming languages
• Coq
• Compiler
• OCaml
• Programming language
• Formal methods
• C
• Logic programming
• Software
• Computing
• Functional languages

TP numéro 2 Arbres Binaires de Recherche Programmation avancée, ENSIIE Semestre 2, 2010–11 Vous pouvez réaliser ce TP au choix en OCaml ou en C.

Source URL: www.ensiie.fr

Universit` a Ca’ Foscari Dipartimento di informatica Programmazione part-time Esame Ocaml

Source URL: www.dsi.unive.it

Think OCaml How to Think Like a (Functional) Programmer Version 0.1.1 Think OCaml

Source URL: www.greenteapress.com

OCaml Templates OCamlPro OCamlPro est une jeune spin-off de l’INRIA, cr´e´ee en avril 2011, pour promouvoir l’utilisation du langage de programmation OCaml dans le milieu industriel. Pour cela, OCamlPro participe

Source URL: www.ocamlpro.com

Try OCaml : OCaml toplevel en Javascript OCamlPro OCamlPro est une jeune spin-off de l’INRIA, cr´e´ee en avril 2011, pour promouvoir l’utilisation du langage de programmation OCaml dans le milieu industriel. Pour

Source URL: www.ocamlpro.com

Runtime types in OCaml Jacques Garrigue 1 Gr´egoire Henry

Source URL: www.math.nagoya-u.ac.jp