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.
blog comments powered by