Skip to first unread message
gmhwxi
Nov 23, 2016, 11:10:49 AM11/23/16
to ats-lang-users
Dependent types, linear types and embeddable templates are three prominent
features of ATS. I just wrote an article on using embeddable template to support
a form of refinement-based programming. Here is the link:
http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/GraphSearch/index.html
The article is yet to be finished and polished, but it is readable. Comments and questions
are welcome.
Cheers!
--Hongwei
Reply all
Reply to author
Forward
0 new messages