<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

Greetings, CakeML developers.

<div class=""><br class="">

</div>

<div class="">I’ll start by introducing myself. My name is Oskar Abrahamsson, and for the past few months I have been working on additions to the CakeML compiler as my M.Sc. project at the CSE dept. at Chalmers, under the supervision of Magnus. Just recently,

 I was hired as a Ph.D. candidate at the same department, to be supervised by Magnus; so I’ll remain active in the project in the future as well :-)</div>

<div class=""><br class="">

</div>

<div class="">My thesis work concerns transforming certain recursive functions in the BVI part of the compiler into tail-recursive equivalents by introducing accumulator arguments (see <a href="https://github.com/CakeML/cakeml/issues/140" class="">https://github.com/CakeML/cakeml/issues/140</a>).

 I have written up an extended abstract summarizing my work for the TFP’17 symposium, and Magnus suggested that I post it here for more feedback. The deadline is “Monday, 15 May, anywhere in the world”, so I’m a bit late, but I would be extremely grateful for

 any feedback — even if it’s past deadline!</div>

<div class=""><br class="">

</div>

<div class="">I have attached the extended abstract as a PDF below.</div>

<div class=""><br class="">

</div>

<div class="">Regards,</div>

<div class="">Oskar</div>

<div class=""><br class="">

</div>

<div class=""></div>

</body>

</html>