Metasepi team meeting

Table of contents

• Slide
• Presentation Video
• Demo video (ATS programming demo on Arduino Mega 2560 + LCD)
• Scene Photographs

We had “Metasepi team meeting #18” at Haskell Symposium 2014.

I wrote the result of Arafure iteration into a paper. And I talked about kernel programming in Haskell. However, I did not touch detail of kernel programming, and focused our Reentrant GC for real kernel programming. I hope many functional programmer are interested in kernel space real programming.

And also, I have created ATS programming demo on Arduino Mega 2560 + LCD during ICFP 2014. The demo doesn’t use any GC and malloc. It’s power of ATS’s linear type. De-gesso.

Slide

Presentation Video

Demo video (ATS programming demo on Arduino Mega 2560 + LCD)

Scene Photographs