SSSSLIDE

Static typing and proof in ATS language

byKiwamu Okabe

2015/11/06にアップロード

Static typing and proof in ATS language

参照元: http://www.slideshare.net/master_q/static-typing-and-proof-on-ats-language