Programovací jazyky F# a OCaml Chapter 2. Refactoring code using functions What is “Refactoring”?

Source URL: tomasp.net

Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley

Source URL: kcsrk.info

• Software engineering
• Computer programming
• Computing
• Functional languages
• Control flow
• Software design patterns
• OCaml
• Monad
• Exception handling
• Type system
• Caml
• ML

OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array

Source URL: www.lri.fr

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• OCaml
• Caml
• ML
• Ur
• Fold

Learn OCaml An Online Learning Center for OCaml Benjamin Canou Gr´egoire Henry

Source URL: www.ocamlpro.com

• Software engineering
• Computer programming
• Computing
• Functional languages
• OCaml
• Caml
• Massive open online course
• Comment
• Readevalprint loop
• Foreach loop

From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,

Source URL: events.inf.ed.ac.uk

• Software engineering
• Programming language theory
• Type theory
• Computing
• ML
• Type inference
• Polymorphism
• Type system
• Type class
• HindleyMilner type system
• Ad hoc polymorphism
• OCaml

Unikernel Monitors: Extending Minimalism Outside of the Box Dan Williams Ricardo Koller IBM T.J. Watson Research Center Abstract

Source URL: www.usenix.org

• Software
• System software
• Computing
• Operating system kernels
• Computing platforms
• Unikernel
• OSv
• QEMU
• Operating system
• Kernel
• OCaml
• Exokernel

Combining Programming with Theorem Proving Chiyan Chen and

Source URL: www.cs.bu.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Type theory
• Data types
• Procedural programming languages
• ATS
• Object-oriented programming
• ML
• Polymorphism
• OCaml

Concurrent & Multicore OCaml: A deep dive KC Sivaramakrishnan1 & Stephen Dolan1 Leo White2, Jeremy Yallop1,3, Armaël Guéneau4, Anil Madhavapeddy1,3 1

Source URL: kcsrk.info

• Parallel computing
• Computing
• Data parallelism
• Parallelism
• Concurrent computing
• Scheduling

Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types

Source URL: tomasp.net

• Software engineering
• Computer programming
• Computing
• Data types
• Functional languages
• Type theory
• Recursion
• Functional programming
• OCaml
• Caml
• Recursive data type
• ML

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