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–5 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Artyom Shalkhakov
, …
gmhwxi
7
5/27/19
Q&A
libatscc: packaging
This is a great idea! I would suggest that we follow the library support for Temptory to build this
unread,
atsccomp
library
package
Q&A
libatscc: packaging
This is a great idea! I would suggest that we follow the library support for Temptory to build this
5/27/19
gmhwxi
,
Brandon Barker
7
3/7/18
Q&A
Atscc2clj
If you are familiar with Clojure or willing to get familiar with it, then using atscc2clj allows you
unread,
Clojure
JVM
atsccomp
Q&A
Atscc2clj
If you are familiar with Clojure or willing to get familiar with it, then using atscc2clj allows you
3/7/18
gmhwxi
,
Raoul Duke
2
7/14/16
Q&A
Support for tail-call optimization in atscc2erl and atscc2scm
nice!
unread,
atsccomp
tail-recursion
Q&A
Support for tail-call optimization in atscc2erl and atscc2scm
nice!
7/14/16
gmhwxi
,
Raoul Duke
9
6/10/16
Q&A
Atscc2scm: from ATS to Scheme
I am gradually building the libatscc2scm library. Just made the GameOf24 example work: https://github
unread,
Scheme
atsccomp
Q&A
Atscc2scm: from ATS to Scheme
I am gradually building the libatscc2scm library. Just made the GameOf24 example work: https://github
6/10/16
gmhwxi
5/24/16
Q&A
Pygame API in ATS
I initiated an API for using pygame in ATS: https://github.com/githwxi/ATS-Postiats-contrib/tree/
unread,
API
Python
atsccomp
Q&A
Pygame API in ATS
I initiated an API for using pygame in ATS: https://github.com/githwxi/ATS-Postiats-contrib/tree/
5/24/16