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 1340
Welcome to the ats-lang-users group!
Mark all as read
Report abusive group
0 selected
Andrei Popescu
Apr 20
3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Dear colleagues, We have an opening for a 3-year position of either research associate or research
unread,
3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Dear colleagues, We have an opening for a 3-year position of either research associate or research
Apr 20
Andrei Popescu
Mar 9
PhD or Postdoc Position at LMU Munich about Verified Modal Logics
We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the
unread,
PhD or Postdoc Position at LMU Munich about Verified Modal Logics
We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the
Mar 9
Jeffrey Brusseau
Jan 28
Things to improve in ATS
There was a discussion a while back about what to improve on in the next version of ATS. There was
unread,
Things to improve in ATS
There was a discussion a while back about what to improve on in the next version of ATS. There was
Jan 28
Elliott Villars
Jan 22
Mixing data(view)types and abstract(view)types
Hello, I am wondering if it possible to provide an implementation for an abstract type in C and be
unread,
Mixing data(view)types and abstract(view)types
Hello, I am wondering if it possible to provide an implementation for an abstract type in C and be
Jan 22
Steve Zdancewic
12/5/22
Certified Programs and Proofs (CPP) 2023: Call for Participation
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2023 *** - Early registration
unread,
Certified Programs and Proofs (CPP) 2023: Call for Participation
*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2023 *** - Early registration
12/5/22
Andrei Popescu
11/14/22
Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
EVENT: Annual LMS/BCS-FACS Evening Seminar SPEAKER: Sam Staton, University of Oxford TITLE:
unread,
Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
EVENT: Annual LMS/BCS-FACS Evening Seminar SPEAKER: Sam Staton, University of Oxford TITLE:
11/14/22
Steve Zdancewic
8/16/22
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
8/16/22
Dambaev Alexander
,
gmhwxi
15
7/15/22
Non-consuming linear stream
Memory-wise, this one (test8) is actually much more efficient than test7. If you use int64 and try 2^
unread,
Non-consuming linear stream
Memory-wise, this one (test8) is actually much more efficient than test7. If you use int64 and try 2^
7/15/22
Steve Zdancewic
6/14/22
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
6/14/22
Andrei Popescu
4/26/22
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
4/26/22
Andrei Popescu
3/6/22
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
3/6/22
Andrei Popescu
3/3/22
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-
3/3/22
Raoul Duke
, …
Hongwei Xi
3
2/8/22
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)
2/8/22
gmhwxi
2
1/29/22
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
1/29/22
Yann Le Du
, …
Hongwei Xi
9
1/29/22
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 ---------
1/29/22
saif.ras...@gmail.com
, …
gmhwxi
7
1/28/22
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
1/28/22
Yann Le Du
,
gmhwxi
2
1/27/22
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
1/27/22
Yann Le Du
,
gmhwxi
2
1/27/22
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
1/27/22
Yann Le Du
2
1/26/22
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
1/26/22
Yann Le Du
, …
gmhwxi
6
1/26/22
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
1/26/22
Yann Le Du
,
gmhwxi
2
1/25/22
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
1/25/22
d4v3y_5c0n3s
,
gmhwxi
14
1/1/22
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
1/1/22
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