The missing Links compiler - with Multi-shot Effect Handlers

[Daniel Hillerström] visited us for the last two weeks to work on a native backend for Links with effect handlers, based on KC’s multicore work in OCaml. It was a very productive couple of weeks, and Daniel managed to implement a compiler for an interesting subset of Links with multi-shot effect handlers. It’s a work in progress, but this is an excellent start! Daniel also presented his work to the Systems Research Group in the lab, and we look forward to welcoming Daniel back later this summer.

See his blog posts on the project:

Related Posts