Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
ats-lang-users
Conversations
Labels
About
ats-lang-users
1–30 of 1332
Welcome to the ats-lang-users group!
Mark all as read
Report abusive group
0 selected
Steve Zdancewic
Jun 14
Certified Programs and Proofs (CPP) 2023 Call for Papers
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical
unread,
Certified Programs and Proofs (CPP) 2023 Call for Papers
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical
Jun 14
Andrei Popescu
Apr 26
Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Greetings, The Department of Computer Science at University of Sheffield has an open position of
unread,
Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Greetings, The Department of Computer Science at University of Sheffield has an open position of
Apr 26
Andrei Popescu
Mar 6
22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing
unread,
22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing
Mar 6
Andrei Popescu
Mar 3
PhD Position in Number Theory and Formalization
The Department of Mathematics of Vrije Universiteit Amsterdam welcomes applications for a fully-
unread,
PhD Position in Number Theory and Formalization
The Department of Mathematics of Vrije Universiteit Amsterdam welcomes applications for a fully-
Mar 3
Raoul Duke
, …
Hongwei Xi
3
Feb 8
design question
Currently, my practice is just declare something like: abstype myenum = int or abstype myenum(i:int)
unread,
design question
Currently, my practice is just declare something like: abstype myenum = int or abstype myenum(i:int)
Feb 8
gmhwxi
2
Jan 29
A vision for future programming in ATS
Here is project for compiling ATS3 to JS: https://github.com/xanadu-lang/Xats2js-H0 H0 refers to a
unread,
A vision for future programming in ATS
Here is project for compiling ATS3 to JS: https://github.com/xanadu-lang/Xats2js-H0 H0 refers to a
Jan 29
Yann Le Du
, …
Hongwei Xi
9
Jan 29
A discussion channel for ATS : why not create one on Discord ?
For some reason, this one has not yet shown up in the group. ---------- Forwarded message ---------
unread,
A discussion channel for ATS : why not create one on Discord ?
For some reason, this one has not yet shown up in the group. ---------- Forwarded message ---------
Jan 29
saif.ras...@gmail.com
, …
gmhwxi
7
Jan 28
general questions about ats postiats and upcoming xanadu compatibility
Postiats and Xanadu use the same data representation (when compiled to C). So they should be
unread,
general questions about ats postiats and upcoming xanadu compatibility
Postiats and Xanadu use the same data representation (when compiled to C). So they should be
Jan 28
Yann Le Du
,
gmhwxi
2
Jan 27
FAQ for ATS : is it of any benefit ? Is anyone willing to help ?
Hi Yann, Thanks for your enthusiasm. >>@Hongwei : does it make any sense at this time given
unread,
FAQ for ATS : is it of any benefit ? Is anyone willing to help ?
Hi Yann, Thanks for your enthusiasm. >>@Hongwei : does it make any sense at this time given
Jan 27
Yann Le Du
,
gmhwxi
2
Jan 27
What are the references behind the names "postiats" and "xanadu" ?
FYI. I just made up the name Postiats. There is no particular meaning to it. Just like the letter
unread,
What are the references behind the names "postiats" and "xanadu" ?
FYI. I just made up the name Postiats. There is no particular meaning to it. Just like the letter
Jan 27
Yann Le Du
2
Jan 26
Multicore : paper ok but where is the code ?
I found it there : http://ats-lang.sourceforge.net/htdocs-old/EXAMPLE/MULTICORE/MULTICORE.html On
unread,
Multicore : paper ok but where is the code ?
I found it there : http://ats-lang.sourceforge.net/htdocs-old/EXAMPLE/MULTICORE/MULTICORE.html On
Jan 26
Yann Le Du
, …
gmhwxi
6
Jan 26
About scientific computing with ATS and notation
Many thanks for taking the time to write such detailed answers. I will think about all this as I
unread,
About scientific computing with ATS and notation
Many thanks for taking the time to write such detailed answers. I will think about all this as I
Jan 26
Yann Le Du
,
gmhwxi
2
Jan 25
Concerning optimizations
Hi Yann, I will try to answer the questions you raised in an earlier post later. Regarding
unread,
Concerning optimizations
Hi Yann, I will try to answer the questions you raised in an earlier post later. Regarding
Jan 25
d4v3y_5c0n3s
,
gmhwxi
14
Jan 1
Help with Templates, cannot find missing implementation somewhere...
That seems to have fixed my issue, thanks. :) On Thursday, December 30, 2021 at 9:28:57 PM UTC-5
unread,
Help with Templates, cannot find missing implementation somewhere...
That seems to have fixed my issue, thanks. :) On Thursday, December 30, 2021 at 9:28:57 PM UTC-5
Jan 1
Andrei Popescu
12/17/21
IJCAR 2022 - Call for Papers
IJCAR 2022 - Call for Papers https://easychair.org/smart-program/IJCAR2022/. ***Important Dates***
unread,
IJCAR 2022 - Call for Papers
IJCAR 2022 - Call for Papers https://easychair.org/smart-program/IJCAR2022/. ***Important Dates***
12/17/21
d4v3y_5c0n3s
,
Hongwei Xi
3
12/10/21
How to define linear abstract types based on records
Took a closer look at my code, and turns out there was a stray "= "sta%"" after
unread,
How to define linear abstract types based on records
Took a closer look at my code, and turns out there was a stray "= "sta%"" after
12/10/21
Andrei Popescu
12/8/21
Certified Programs and Proofs (CPP) 2022: Call for Participation
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration
unread,
Certified Programs and Proofs (CPP) 2022: Call for Participation
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration
12/8/21
d4v3y_5c0n3s
,
gmhwxi
4
12/7/21
What is the best way to turn a file into a lazy linear stream?
No worries, I understand sometimes people get busy. :) I eventually decided against using linear
unread,
What is the best way to turn a file into a lazy linear stream?
No worries, I understand sometimes people get busy. :) I eventually decided against using linear
12/7/21
d4v3y_5c0n3s
,
Hongwei Xi
7
11/29/21
Template Issue
First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles
unread,
Template Issue
First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles
11/29/21
d4v3y_5c0n3s
,
Vanessa McHale
3
11/27/21
Template Debugging Tips?
Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X
unread,
Template Debugging Tips?
Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X
11/27/21
d4v3y_5c0n3s
,
gmhwxi
3
10/30/21
Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)
Done. On Saturday, October 30, 2021 at 10:53:30 AM UTC-4 gmhwxi wrote: Yes, please open an issue
unread,
Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)
Done. On Saturday, October 30, 2021 at 10:53:30 AM UTC-4 gmhwxi wrote: Yes, please open an issue
10/30/21
mark.l....@gmail.com
,
d4v3y_5c0n3s
2
10/7/21
Lambdas that use linear resources
First, let me say that lambdas are one part of ATS that I'm not super experienced in myself.
unread,
Lambdas that use linear resources
First, let me say that lambdas are one part of ATS that I'm not super experienced in myself.
10/7/21
David Smith
, …
Owen Avery
4
10/6/21
Memory Mapped IO
While I'm just trying to figure out the language at this point, you could try something involving
unread,
Memory Mapped IO
While I'm just trying to figure out the language at this point, you could try something involving
10/6/21
mark.l....@gmail.com
, …
Timmy Jose
5
9/27/21
Learn ATS in Y minutes -- request for documentation review
Hello Mark, The resource looks quite useful , especially to a beginner like myself. I'm a bit
unread,
Learn ATS in Y minutes -- request for documentation review
Hello Mark, The resource looks quite useful , especially to a beginner like myself. I'm a bit
9/27/21
Kiwamu Okabe
, …
Timmy Jose
15
9/20/21
Someone is trying to debug ATS code using DWARF?
This is very useful. Thanks for the wiki page, Kiwamu! On Tuesday, May 28, 2019 at 11:49:54 AM UTC+5:
unread,
Someone is trying to debug ATS code using DWARF?
This is very useful. Thanks for the wiki page, Kiwamu! On Tuesday, May 28, 2019 at 11:49:54 AM UTC+5:
9/20/21
Andrei Popescu
9/8/21
30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield.
unread,
30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield.
9/8/21
Andrei Popescu
8/19/21
Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical
unread,
Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical
8/19/21
d4v3y_5c0n3s
,
gmhwxi
3
7/22/21
FILEREF type is non-linear?
Thanks for the help, I was curious about FILEref because I will soon need to work with files in my
unread,
FILEREF type is non-linear?
Thanks for the help, I was curious about FILEref because I will soon need to work with files in my
7/22/21
Timmy Jose
,
gmhwxi
5
7/5/21
Re: ATS3 and stuff
Hi Hongwei, Thank you for the detailed response! This part especially fascinated me: >ATS0 (that
unread,
Re: ATS3 and stuff
Hi Hongwei, Thank you for the detailed response! This part especially fascinated me: >ATS0 (that
7/5/21
d4v3y_5c0n3s
,
Hongwei Xi
3
7/1/21
Trying to get a dependent type working in ATS
You're right, when I sent this message I was too tired to realize what was wrong I guess. Thanks
unread,
Trying to get a dependent type working in ATS
You're right, when I sent this message I was too tired to realize what was wrong I guess. Thanks
7/1/21