Mailing List:
ats-lang-users@lists.sourceforge.net
Add newDisplay options
2
replies
What terminal commands run the debian ats examples?
started 2017-05-26 05:09:20 UTC
2017-05-29 08:25:02 UTC
Artyom Shalkhakov
0
replies
Final CFP: ML Family Workshop 2017
started 2017-05-28 23:04:37 UTC
2017-05-28 23:04:37 UTC
Sam Lindley
0
replies
ATS2-0.3.5 released
started 2017-05-19 18:33:59 UTC
2017-05-19 18:33:59 UTC
Hongwei Xi
0
replies
Second CFP: ML Family Workshop 2017
started 2017-05-08 04:05:00 UTC
2017-05-08 04:05:00 UTC
Sam Lindley
0
replies
VSTTE 2017 - Deadline Extension
started 2017-04-25 15:30:28 UTC
2017-04-25 15:30:28 UTC
Andrei Paskevich
0
replies
VSTTE 2017 - Second Call for Papers
started 2017-04-18 16:22:04 UTC
2017-04-18 16:22:04 UTC
Andrei Paskevich
0
replies
ATS2-0.3.4 released
started 2017-04-08 22:56:01 UTC
2017-04-08 22:56:01 UTC
Hongwei Xi
0
replies
ATS2-0.3.3 released
started 2017-03-06 05:37:04 UTC
2017-03-06 05:37:04 UTC
Hongwei Xi
0
replies
VSTTE 2017 - First Call for Papers
started 2017-02-17 20:21:39 UTC
2017-02-17 20:21:39 UTC
Andrei Paskevich
1
reply
ATS2-0.3.1 released
started 2017-01-29 03:19:55 UTC
2017-02-13 01:56:10 UTC
Hongwei Xi
2
replies
Pointers to fields inside records
started 2017-02-06 20:53:41 UTC
2017-02-07 07:23:05 UTC
john skaller
0
replies
ATS2-0.3.0 released
started 2017-01-20 21:12:16 UTC
2017-01-20 21:12:16 UTC
Hongwei Xi
0
replies
ATS2-0.2.13 released
started 2016-12-29 03:54:58 UTC
2016-12-29 03:54:58 UTC
Hongwei Xi
0
replies
ATS2-0.2.12 released
started 2016-11-24 21:43:11 UTC
2016-11-24 21:43:11 UTC
Hongwei Xi
0
replies
ATS2-0.2.11 released
started 2016-10-13 22:29:33 UTC
2016-10-13 22:29:33 UTC
Hongwei Xi
0
replies
Subject: ATS2-0.2.10 released
started 2016-09-04 01:44:43 UTC
2016-09-04 01:44:43 UTC
Hongwei Xi
0
replies
ATS2-0.2.9 released
started 2016-07-19 08:13:10 UTC
2016-07-19 08:13:10 UTC
Hongwei Xi
0
replies
ATS2-0.2.8 released
started 2016-06-29 19:12:57 UTC
2016-06-29 19:12:57 UTC
Hongwei Xi
0
replies
ATS2-0.2.7 released
started 2016-05-14 15:13:31 UTC
2016-05-14 15:13:31 UTC
Hongwei Xi
0
replies
ATS2-0.2.6 released
started 2016-02-07 02:56:37 UTC
2016-02-07 02:56:37 UTC
Hongwei Xi
0
replies
ATS2-0.2.5 released
started 2015-12-23 09:57:22 UTC
2015-12-23 09:57:22 UTC
Hongwei Xi
3
replies
[Slide] Static typing and proof on ATS language
started 2015-11-06 17:48:12 UTC
2015-11-08 16:52:48 UTC
Kiwamu Okabe
8
replies
Rock-paper-scissors library to learn statics and proofs on ATS language
started 2015-10-25 14:15:07 UTC
2015-11-01 23:03:20 UTC
gmhwxi
1
reply
ATS2-0.2.4 released
started 2015-10-28 21:41:24 UTC
2015-10-29 01:21:12 UTC
Raoul Duke
14
replies
How to identify dynamic value such like bool?
started 2015-10-24 14:52:57 UTC
2015-10-25 06:44:41 UTC
gmhwxi
0
replies
[TYPES/announce] CFP: Special issue of JFP on dependently typed programming (fwd)
started 2015-10-20 18:54:17 UTC
2015-10-20 18:54:17 UTC
Hongwei Xi
0
replies
ATS2-0.2.3 released
started 2015-09-23 08:08:44 UTC
2015-09-23 08:08:44 UTC
Hongwei Xi
2
replies
[slide] ATS/LF for Coq users
started 2015-09-12 07:38:33 UTC
2015-09-12 17:54:36 UTC
aditya siram
0
replies
ATS2-0.2.2 released
started 2015-08-29 23:02:56 UTC
2015-08-29 23:02:56 UTC
Hongwei Xi
6
replies
How to create NTH of ilist using proof function?
started 2015-08-23 17:54:07 UTC
2015-08-24 09:42:52 UTC
Kiwamu Okabe
Click to Load More...
Loading...