File: metadata

package info (click to toggle)
ats2-lang 0.4.2-4
  • links: PTS
  • area: main
  • in suites:
  • size: 40,524 kB
  • sloc: ansic: 389,898; makefile: 7,138; javascript: 1,852; lisp: 811; sh: 657; php: 573; python: 387; perl: 365
file content (10 lines) | stat: -rw-r--r-- 476 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
 
Contact: https://sourceforge.net/projects/ats-lang/lists/ats-lang-users
FAQ: https://github.com/githwxi/ATS-Postiats/wiki/Frequently-asked-questions
Repository: https://git.code.sf.net/p/ats2-lang/code
Repository-Browse: https://sourceforge.net/p/ats2-lang/code/ci/master/tree/
Reference:
- Author: Hongwei Xi
  Title: "Applied Type System: An Approach to Practical Programming with Theorem-Proving"
  Journal: arXiv:1703.08683 [cs.PL]
Funding:
 - National Science Foundation