Hi Yury, there here: https://github.com/koka-lang/koka/tree/master/test/bench (I asked on Twitter). Cheers, Carl Friedrich On 17.05.21 08:33, Yury V. Zaytsev wrote:

Hi Carl,

On Sun, 16 May 2021, Carl Friedrich Bolz-Tereick wrote:

...

yeah, it's on my to-read list! did you find the source code of the benchmark set they used in the paper? might be worth mailing the authors. Would be a fun experiment!

Nope, unfortunately I've only seen snippets provided in the paper, although I have to admit that I didn't put hours in looking for them... I guess emailing would be easiest.

Hi Yury, there here: https://github.com/koka-lang/koka/tree/master/test/bench (I asked on Twitter). Cheers, Carl Friedrich On 17.05.21 08:33, Yury V. Zaytsev wrote:

Hi Carl,

On Sun, 16 May 2021, Carl Friedrich Bolz-Tereick wrote:

...

yeah, it's on my to-read list! did you find the source code of the benchmark set they used in the paper? might be worth mailing the authors. Would be a fun experiment!

Nope, unfortunately I've only seen snippets provided in the paper, although I have to admit that I didn't put hours in looking for them... I guess emailing would be easiest.