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
gmhwxi
2
12/11/15
Q&A
Effective ATS: Session Combinators
At this point, this article on session combinators is largely finished. Cheers! On Wednesday,
unread,
session
Q&A
Effective ATS: Session Combinators
At this point, this article on session combinators is largely finished. Cheers! On Wednesday,
12/11/15
gmhwxi
,
Yannick Duchêne
3
11/26/15
Q&A
Effective ATS: Session-typed Channels
We are very interested in using session types in embedded programming. So this is a question on our
unread,
session
Q&A
Effective ATS: Session-typed Channels
We are very interested in using session types in embedded programming. So this is a question on our
11/26/15
gmhwxi
11/17/15
Q&A
Session types in action
I would like to put a few simple examples I did in class that involve the use of session types: http:
unread,
session
Q&A
Session types in action
I would like to put a few simple examples I did in class that involve the use of session types: http:
11/17/15