dhil/links-ocaml-handlers-compiler-abstract

Stars
2
Language
TeX
Created over 8 years ago
Updated about 8 years ago

dhil/links-ocaml-handlers-compiler-abstract

dhil

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Extended abstract about the Links with effect handlers compiler

ocaml-multicont

multi-shot continuations in OCaml

inf-thesis-latex-cls

A LaTeX Class for Informatics theses at The University of Edinburgh

phd-dissertation

A summary of my activities during the past four years

pthandlers

an encoding of affine effect handlers using pthreads

gocaml

a moral encoding of the control flow primitives of Go in OCaml using effect handlers

h

an experimental basic imperative procedural language with effect handlers

hx

an effect handler-oriented programming language

best-aalborg-songbook

BEST Aalborg Songbook

t20

Triple 20: A domain specific language for kernel-to-kernel transformations.

generic-count

implementing generic count using undelimited continuations, delimited continuations, and effect handlers

programming

ocaml-libctrl

a playground library for various control abstractions coded on top of effect handlers

msc-dissertation

MSc Dissertation repository

hat

Small concatenate (cat) clone written in Haskell.

hank

a research programming language based on handlers

llama-compiler

An example of interfacing with the backend of the OCaml compiler

mandrilapp

aoc2023

an attempt to solve Advent of Code 2023 using the Links programming language

asus-zenfan

ASUS Zenbook fan driver for Linux

mandriljulekalender

Mandriljulekalender

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus