research
∙
09/15/2023
MetaOCaml Theory and Implementation
Quasi-quotation (or, code templates) has long been used as a convenient ...
share
research
∙
12/10/2022
Demo: New View on Plasma Fractals – From the High Point of Array Languages
Plasma fractals is a technique to generate random and realistic clouds, ...
research
∙
11/24/2022
Highest-performance Stream Processing
We present the stream processing library that achieves the highest perfo...
research
∙
11/08/2022
Do Mutable Variables Have Reference Types?
Implicit heterogeneous metaprogramming (a.k.a. offshoring) is an attract...
research
∙
08/18/2022
Complete Stream Fusion for Software-Defined Radio
Software-Defined Radio (SDR) is widely used not only as a practical appl...
research
∙
01/03/2022
let (rec) insertion without Effects, Lights or Magic
Let insertion in program generation is producing code with definitions (...
research
∙
05/16/2019
Effects Without Monads: Non-determinism – Back to the Meta Language
We reflect on programming with complicated effects, recalling an undeser...
research
∙
12/31/2018
Eff Directly in OCaml
The language Eff is an OCaml-like language serving as a prototype implem...
research
∙
05/09/2012
Monolingual Probabilistic Programming Using Generalized Coroutines
Probabilistic programming languages and modeling toolkits are two modula...
research
∙
03/15/2000