I HX4 & HX1 – Option Informatique Année 2011, Neuvième TP Caml Louis Jachiet (http://www.eleves.ens.fr/home/jachiet/) Lorem ipso Solum reperesimunum ali pos pras bellis cum et minemisciennicessenes stritimena.

Source URL: louis.jachiet.com

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

Source URL: www.cl.cam.ac.uk

• Cryptographic software
• Functional languages
• OCaml
• Caml
• Functional programming
• Transport Layer Security
• OpenSSL
• LibreSSL
• Preprocessor
• Ctypes
• Monad
• Language binding

I MP – Option Informatique 2ème TP Caml http://jachiet.com/tps Lundi 15 octobre 2012

Source URL: louis.jachiet.com

NPRG049— Programovací jazyky OCaml a F# Tomáš Petříček, Functional Programming in F# (the fun way to learn mathematical thinking)

Source URL: tomasp.net

• Functional languages
• Object-oriented programming languages
• OCaml
• Caml
• Cross-platform software
• Functional programming
• Wacaw Sierpiski
• Wolfram Mathematica
• Tom Petek
• Sierpinski carpet

sessões do caml 14 ABR’16

Source URL: www.medicina.ulisboa.pt

The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Source URL: caml.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional languages
• Object-oriented programming languages
• Data types
• OCaml
• Generic programming
• Modular programming
• Module
• Set
• Coupling

Introduction to Objective Caml Jason Hickey DRAFT. DO NOT REDISTRIBUTE. Copyright © Jason Hickey, 2008. This book has been submitted for publication by Cambridge University Press.

Source URL: courses.cms.caltech.edu

sessões do caml 21 ABR’16

Source URL: www.medicina.ulisboa.pt

A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes

Source URL: cedeela.fr

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Type theory
• Procedural programming languages
• OCaml
• Caml
• Standard ML
• Type variable
• Immutable object

sessões do caml 31 MAR’16

Source URL: www.medicina.ulisboa.pt