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–7 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
gmhwxi
1/1/16
Q&A
Stack-allocated closures
I added a chapter on stack-allocated closures in the ATS-Tutorial book. It is currently Chapter 27:
unread,
documentation
tutorial
Q&A
Stack-allocated closures
I added a chapter on stack-allocated closures in the ATS-Tutorial book. It is currently Chapter 27:
1/1/16
gmhwxi
12/25/15
Q&A
Effective ATS: Parsing combinators of CPS-style
Parsing combinators are a beautiful and convincing example showing the elegance and power of
unread,
documentation
tutorial
Q&A
Effective ATS: Parsing combinators of CPS-style
Parsing combinators are a beautiful and convincing example showing the elegance and power of
12/25/15
Yannick Duchêne
3
12/22/15
Q&A
Dataprop: indexes vs constraint parameters
Le mardi 22 décembre 2015 16:08:38 UTC+1, Yannick Duchêne a écrit : I personally will ban the style
unread,
constraint
example
tutorial
Q&A
Dataprop: indexes vs constraint parameters
Le mardi 22 décembre 2015 16:08:38 UTC+1, Yannick Duchêne a écrit : I personally will ban the style
12/22/15
Yannick Duchêne
,
gmhwxi
6
12/21/15
Q&A
Proof derivation and functional relation (deterministic)
Le lundi 21 décembre 2015 17:17:50 UTC+1, gmhwxi a écrit : I think what you need is to define
unread,
proof
theorem-proving
tutorial
Q&A
Proof derivation and functional relation (deterministic)
Le lundi 21 décembre 2015 17:17:50 UTC+1, gmhwxi a écrit : I think what you need is to define
12/21/15
Yannick Duchêne
, …
Hongwei Xi
24
7/26/18
Q&A
Wording and interpretation: propositions, predicates and types
Here is a simple way to see it: 'type' is of size 1 and 't@ype' is of unknown size.
unread,
tutorial
Q&A
Wording and interpretation: propositions, predicates and types
Here is a simple way to see it: 'type' is of size 1 and 't@ype' is of unknown size.
7/26/18
He-chien Tsai
, …
Yannick Duchêne
19
7/24/18
Q&A
ATS may need a keywords-indexed reference
Le mardi 24 juillet 2018 04:41:03 UTC+2, Vanessa McHale a écrit : Neat! I've resigned to the fact
unread,
documentation
example
tutorial
Q&A
ATS may need a keywords-indexed reference
Le mardi 24 juillet 2018 04:41:03 UTC+2, Vanessa McHale a écrit : Neat! I've resigned to the fact
7/24/18
Yannick Duchêne
,
gmhwxi
24
12/11/15
Q&A
The thread of the errors in the docs
Originally (that is, in ATS1), there is checking to ensure that each declared prfun is implemented;
unread,
documentation
example
tutorial
Q&A
The thread of the errors in the docs
Originally (that is, in ATS1), there is checking to ensure that each declared prfun is implemented;
12/11/15