[CakeML-dev] Greetings and my TFP'17 contribution

[Oskar Abrahamsson]

Greetings, CakeML developers.

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 :-)

My thesis work concerns transforming certain recursive functions in the BVI part of the compiler into tail-recursive equivalents by introducing accumulator arguments (see https://github.com/CakeML/cakeml/issues/140). 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!

I have attached the extended abstract as a PDF below.

Regards,
Oskar

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170515/1d7255f2/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tifp_draft.pdf
Type: application/pdf
Size: 235459 bytes
Desc: tifp_draft.pdf
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170515/1d7255f2/attachment-0001.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170515/1d7255f2/attachment-0001.htm>