ATS Users Group

Flops 2016

gmhwxi July 19, 2015, 3:46am 1

See call for papers at

http://www.info.kochi-tech.ac.jp/FLOPS2016/

–Hongwei

Topic		Replies	Views	Activity
Computer Language Benchmarks Game Google Group	16	1049	March 17, 2015
ATS/LF for Coq users Google Group	2	413	September 12, 2015
Someone has a plan going to ICFP2014? Google Group	0	272	July 29, 2014
Glot.io, a code pastebin that can also run your code, now supports ATS Google Group	9	913	May 10, 2016
+1 on this guide :-) Google Group	1	347	July 23, 2014