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
Yannick Duchêne
, …
gmhwxi
12
12/13/15
Q&A
Constraint solver: what can safely be assumed about its capacity?
Le lundi 14 décembre 2015 03:38:39 UTC+1, gmhwxi a écrit : I took a look at the implementation of
unread,
constraint
documentation
portability
Q&A
Constraint solver: what can safely be assumed about its capacity?
Le lundi 14 décembre 2015 03:38:39 UTC+1, gmhwxi a écrit : I took a look at the implementation of
12/13/15
gmhwxi
, …
Yannick Duchêne
14
5/28/15
Q&A
Creating a package written in ATS
Le vendredi 29 mai 2015 01:04:28 UTC+2, gmhwxi a écrit : Just to have all the implements available to
unread,
example
library
portability
Q&A
Creating a package written in ATS
Le vendredi 29 mai 2015 01:04:28 UTC+2, gmhwxi a écrit : Just to have all the implements available to
5/28/15
gmhwxi
5/10/15
Q&A
Generating portable C code from ATS source
I will be releasing ATS2-0.1.12 shortly. What is said in this message should be tried with ATS-0.1.12
unread,
portability
Q&A
Generating portable C code from ATS source
I will be releasing ATS2-0.1.12 shortly. What is said in this message should be tried with ATS-0.1.12
5/10/15
Brandon Barker
, …
gmhwxi
20
5/19/15
Q&A
packing a view and address in local scope
Yes, toplevel linear resources are not tracked. On Tuesday, May 19, 2015 at 7:01:22 PM UTC-4, Yannick
unread,
portability
type
Q&A
packing a view and address in local scope
Yes, toplevel linear resources are not tracked. On Tuesday, May 19, 2015 at 7:01:22 PM UTC-4, Yannick
5/19/15
gmhwxi
3
4/2/14
Q&A
wget-tcc-run
See the following post for the update: https://groups.google.com/forum/?fromgroups#!topic/ats-lang-
unread,
example
portability
Q&A
wget-tcc-run
See the following post for the update: https://groups.google.com/forum/?fromgroups#!topic/ats-lang-
4/2/14
gmhwxi
4
3/30/14
Q&A
An example of porting ATS code
I was using tcc-0.9.25. With tcc-0.9.26, the code can be compiled successfully! On Saturday, March 29
unread,
portability
Q&A
An example of porting ATS code
I was using tcc-0.9.25. With tcc-0.9.26, the code can be compiled successfully! On Saturday, March 29
3/30/14