Groups
Groups
Sign in
Groups
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
Privacy • Terms

ats-lang-users

Contact owners and managers
1–2 of 1352


Welcome to the ats-lang-users group!



Mark all as read
Report group
0 selected



gmhwxi's profile photo
gmhwxi
8/1/17
Q&A
Using linear streams to avoid stack overflow
I wrote a paragraph on using linear (lazy) streams to avoid potential stack overflow: http://ats-lang
unread,
documentation
linear-type
stream
Q&A
Using linear streams to avoid stack overflow
I wrote a paragraph on using linear (lazy) streams to avoid potential stack overflow: http://ats-lang
8/1/17

Steinway Wu's profile photo
Steinway Wu, … Hongwei Xi11
7/7/18
Q&A
Linear component may be abandoned.
The symbol '_' refers to a "special" value that is unspecified. This feature is not
unread,
linear-type
stream
Q&A
Linear component may be abandoned.
The symbol '_' refers to a "special" value that is unspecified. This feature is not
7/7/18

Search
Clear search
Close search
Google apps
Main menu