Testing x-ocaml, OCaml notebooks as a WebComponent| kcsrk.info
Recently, I posted on X and| KC Sivaramakrishnan - Scalable Functional Programming
Off-CPU analysis is where the program behavior when it is not running is| KC Sivaramakrishnan - Scalable Functional Programming
A number of folks who regularly use OCaml were surprised to learn that you can| KC Sivaramakrishnan - Scalable Functional Programming
Last semester at IIT Madras, I taught a revamped core course CS3100 Paradigms| KC Sivaramakrishnan - Scalable Functional Programming
Multiple Research Software Engineer positions are available in the| KC Sivaramakrishnan - Scalable Functional Programming
Multicore OCaml comes with| KC Sivaramakrishnan - Scalable Functional Programming
I am chairing the PC for ML family workshop this year. The PC is happy to invite| KC Sivaramakrishnan - Scalable Functional Programming
It has been 3 months since I joined IIT Madras and it| KC Sivaramakrishnan - Scalable Functional Programming
Over the past few weeks, at OCaml Labs, we’ve deployed| KC Sivaramakrishnan - Scalable Functional Programming
Andrej Bauer and I are editing a special issue of JFP| KC Sivaramakrishnan - Scalable Functional Programming
I recently gave a talk on the internals of multicore OCaml GC at Jane Street| KC Sivaramakrishnan - Scalable Functional Programming
We recently published a paper on concurrent system programming with effect| KC Sivaramakrishnan - Scalable Functional Programming
One of the key indicators of maturity of a language ecosystem is the ease of| KC Sivaramakrishnan - Scalable Functional Programming
Ezirmin is an easy interface over the| KC Sivaramakrishnan - Scalable Functional Programming
Behavioural types such as session types, contracts and choreography describe the| KC Sivaramakrishnan - Scalable Functional Programming
Efficient concurrent programming libraries are essential for taking advantage of| KC Sivaramakrishnan - Scalable Functional Programming
This is a short tutorial on how to build| KC Sivaramakrishnan - Scalable Functional Programming
In the last| KC Sivaramakrishnan - Scalable Functional Programming
This post describes a simple flat allocation profiler for OCaml 4.02 bytecode| KC Sivaramakrishnan - Scalable Functional Programming
I recently gave a talk on Algebraic Effects in OCaml at the OCaml Workshop| KC Sivaramakrishnan - Scalable Functional Programming
In the previous| KC Sivaramakrishnan - Scalable Functional Programming
Algebraic effects and handlers provide a modular abstraction for expressing| KC Sivaramakrishnan - Scalable Functional Programming
Opam Switch to Multicore OCaml| kcsrk.info
Uniqueness for Behavioural Types| kcsrk.info
Linearity and uniqueness| kcsrk.info