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

Source URL: infoscience.epfl.ch

• Computing
• Computer programming
• Software engineering
• File sharing
• Distributed computing
• Lambda calculus
• Logic in computer science
• Network architecture
• OCaml
• Combinatory logic
• Gossip protocol
• Peer-to-peer

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: homes.cs.washington.edu

• Logic in computer science
• Program analysis
• Substructural logic
• Concurrent computing
• Aliasing
• Compiler construction
• Separation logic
• Alias
• Thread
• Assertion
• OCaml
• Type system

Erlang and OCaml Ulf Wiger Ericsson AB Why??? ƒ Erlang is very good at concurrency

Source URL: www.erlang.se

Intro to OCaml Beyond functional programming in Haskell: an introduction to OCaml Michiel Overeem Center for Software Technology, Universiteit Utrecht

Source URL: foswiki.cs.uu.nl

Client-Server Web Applications Widgets∗ Vincent Balat Univ Paris Diderot – Sorbonne Paris Cité – PPS, UMR 7126 CNRS, Inria – Paris, France vincent.balat@ univ-paris-diderot.fr

Source URL: www2013.wwwconference.org

• Software engineering
• Software
• Computing
• Functional languages
• Ajax
• User interface techniques
• Web programming
• Web development
• Ocsigen
• JavaScript
• OCaml
• Web application

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

The OCaml Platform v1.0 Anil Madhavapeddy (speaker), Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop The OCaml Platform combines

Source URL: ocaml.org

Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML

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

Source URL: why3.lri.fr

• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml
• Formal verification
• French Institute for Research in Computer Science and Automation

PDF Document

Source URL: ocaml.org