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–3 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Steinway Wu
,
Hongwei Xi
2
7/11/18
Q&A
var, val, and linear closure
The following line introduce the name 'sock' for the content stored in the original variable
unread,
linear-closure
stack-allocation
Q&A
var, val, and linear closure
The following line introduce the name 'sock' for the content stored in the original variable
7/11/18
gmhwxi
, …
Martin DeMello
4
7/12/16
Q&A
Effective ATS: linear streams for memory-clean programs
Here is a backup site: http://ats-lang.github.io/EXAMPLE/EFFECTIVATS/ On Tuesday, July 12, 2016 at 7:
unread,
documentation
linear-closure
linear-type
Q&A
Effective ATS: linear streams for memory-clean programs
Here is a backup site: http://ats-lang.github.io/EXAMPLE/EFFECTIVATS/ On Tuesday, July 12, 2016 at 7:
7/12/16
gmhwxi
6/21/14
Q&A
Linear random number generator
Lazy-evaluation based linear streams is a very useful feature in ATS. At this point, I think it is
unread,
example
linear-closure
Q&A
Linear random number generator
Lazy-evaluation based linear streams is a very useful feature in ATS. At this point, I think it is
6/21/14