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–2 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Brandon Barker
, …
Hongwei Xi
17
7/6/18
Q&A
Examples of integrating C and ATS
As long as you name the value: #include "share/atspre_staload.hats" extern val fact10 : int
unread,
build
refinement
Q&A
Examples of integrating C and ATS
As long as you name the value: #include "share/atspre_staload.hats" extern val fact10 : int
7/6/18
Yannick Duchêne
, …
Chris Double
25
4/12/15
Q&A
Start with C then ATS or with ATS right at the start?
On Fri, Apr 10, 2015 at 1:55 AM, Yannick Duchêne <yannick...@yahoo.fr> wrote: > > I
unread,
refinement
Q&A
Start with C then ATS or with ATS right at the start?
On Fri, Apr 10, 2015 at 1:55 AM, Yannick Duchêne <yannick...@yahoo.fr> wrote: > > I
4/12/15