Metasepi team meeting

Posted on August 24, 2014 / Tags: meeting, ats

Table of contents


We had “Metasepi team meeting #17” at Summer Programming Symposium 2014.

The presentation slide explains ATS dependent type and linear type with casual figures. However, the figure isn’t enough to explain example of ATS language power. I think many people are less familiar with dependent type and linear type. Therefore, I should show more large example of ATS language. De-gesso.

Slide

Metasepi team meeting #17: Invariant captured by ATS's API from Kiwamu Okabe

blog comments powered by Disqus