Jesse Sigal

### The problem This program ``` pub module three-fun effect oper { fun oper3(arg0 : (), arg1 : (), arg2 : ()) : () } fun main() { with fun...

Quadratic slowdown with nested control effect

6

### The problem The following Koka code is quadratic w.r.t. `iters`: ``` pub module quadratic import std/os/env import std/text/parse effect ctl inc() : int fun work(iters) var acc := 0...

The following minimal example LaTeX file ```latex \documentclass{acmart} \usepackage{listings} \begin{document} \lstinputlisting{test.ml} \end{document} ``` where `test.ml` is ```ocaml type test = Test ``` produces the warning ``` Class acmart Warning: \vspace...