Groups
Sign in
Groups
ats-lang-users
Conversations
Labels
API
ATS3
AVR
Clojure
Erlang
IDE
JVM
JavaScript
PHP
Perl
Python
Scheme
arduino
atsccomp
build
call-by-reference
call-by-value
closure
constraint
contribute
datatype
dependent-type
documentation
effect
emacs
example
general
high-order
install
library
license
linear-closure
linear-type
macro
package
polymorphism
portability
proof
refinement
session
stack-allocation
stream
syntax
tail-recursion
template
termination
theorem-proving
tutorial
type
type-error
About
Send feedback
Help
ats-lang-users
Contact owners and managers
1–6 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Steinway Wu
,
gmhwxi
2
5/7/15
Q&A
[advertisement] One-Liner for Installing ATS (especially for Cloud9)
Thanks! This can be very convenient for teaching ATS. It is good for testing ATS, too. Cheers, --
unread,
IDE
contribute
Q&A
[advertisement] One-Liner for Installing ATS (especially for Cloud9)
Thanks! This can be very convenient for teaching ATS. It is good for testing ATS, too. Cheers, --
5/7/15
Yannick Duchêne
, …
Artyom Shalkhakov
6
2/13/15
Q&A
Your opinions for a standard and using RDF or XML for PL's AST? (a bit out of topic)
Hello Yannick, I'm not sure what are you talking about here. If you're looking for one
unread,
IDE
Q&A
Your opinions for a standard and using RDF or XML for PL's AST? (a bit out of topic)
Hello Yannick, I'm not sure what are you talking about here. If you're looking for one
2/13/15
Brandon Barker
3
2/3/15
Q&A
Build ATS within IntelliJ
FYI, I just found out about Kotlin, a strongly typed JVM language with an ML-like syntax: http://
unread,
IDE
build
Q&A
Build ATS within IntelliJ
FYI, I just found out about Kotlin, a strongly typed JVM language with an ML-like syntax: http://
2/3/15
Brandon Barker
, …
Mark Lemay
14
3/7/18
Q&A
IntelliJ Plugin
Hi Mark, I'm sorry, I wasn't really seeing e-mails from this list. If you made any progress,
unread,
IDE
Q&A
IntelliJ Plugin
Hi Mark, I'm sorry, I wasn't really seeing e-mails from this list. If you made any progress,
3/7/18
Hongwei Xi
, …
Artyom Shalkhakov
5
10/22/14
Fwd: ATS language binding for MonoDevelop
Hi Hongwei, Kiwamu, On Wednesday, October 22, 2014 11:15:18 AM UTC+6, Kiwamu Okabe wrote: Hi Hongwei,
unread,
IDE
Fwd: ATS language binding for MonoDevelop
Hi Hongwei, Kiwamu, On Wednesday, October 22, 2014 11:15:18 AM UTC+6, Kiwamu Okabe wrote: Hi Hongwei,
10/22/14
Kiwamu Okabe
, …
gmhwxi
75
1/6/15
An idea: How about make ATS language IDE based on drracket?
val rec f = ... means that f is defined *recursively*, that is, f can occur in its own definition. On
unread,
IDE
An idea: How about make ATS language IDE based on drracket?
val rec f = ... means that f is defined *recursively*, that is, f can occur in its own definition. On
1/6/15