Sam Lloyd Thomas School of Computer Science University of Birmingham Birmingham B15 2TT United Kingdom

Source URL: xorp.se

• Stourbridge
• OCaml
• University of Birmingham
• Birmingham
• Bachelor of Education
• Master of Engineering
• King Edward VI College

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

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Source URL: lampwww.epfl.ch

• Functional languages
• Object-oriented programming languages
• Order theory
• Scala
• Embedding
• Monad
• OCaml

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

Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c

Source URL: pages.lip6.fr

The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Software
• Computer programming
• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml

Markus Mottl, MSc Email: Homepage: http://www.ocaml.info Work Experience–Vice-president in the Morgan Stanley Strats & Modeling

Source URL: www.ocaml.info

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

doi:Article development led by queue.acm.org What if all the software layers in a virtual

Source URL: unikernel.org

• Software
• Computing
• Computer architecture
• Operating system kernels
• Computing platforms
• Unikernel
• OCaml
• Xen
• Hypervisor
• NetBSD
• Rump kernel
• Virtual machine

OCaml en trois pages François Pottier Les numéros (Remarque, Détail, Exercice...) sont des références au poly INF441. Fonctions et définitions de variables Fonctions. (DétailUne fonction OCaml a toujours u

Source URL: www.enseignement.polytechnique.fr