KC Sivaramakrishnan - Scalable Functional Programming

Testing x-ocaml, OCaml notebooks as a WebComponent

Linearity and uniqueness

Uniqueness for Behavioural Types

Joining my group

Off-CPU-time analysis

Getting Started with GDB on OCaml

Teaching OCaml and Prolog through Jupyter Notebooks

Multicore OCaml Jobs

Deterministically debugging concurrent GC bugs with rr

ML Family Workshop 2019: Call for presentations

OCaml on Baremetal Shakti RISC-V processor

Continuous Benchmarking & Call for Benchmarks

JFP Special Issue on Algebraic Effects and Handlers

A deep dive into Multicore OCaml garbage collector

(Monadic) Reflections on Concurrency

Building and Publishing an OCaml Package: Q1 2017

Ezirmin : An easy interface to the Irmin library

Behavioural types

Lock-free programming for the masses

Armed with Reason

Profiling the stack

An Allocation Profiler for OCaml Bytecode Interpreter

Experiment with OCaml Multicore and Algebraic Effects

Pearls of Algebraic Effects and Handlers

Effective Concurrency with Algebraic Effects

Opam Switch to Multicore OCaml