Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

ats-lang-users

Contact owners and managers

1–30 of 1349

Welcome to the ats-lang-users group!

0 selected

9/12/24

ATS3-prelude library is shaping up for use

Forgot to mention: real 16m41.561s user 23m30.725s sys 0m21.960s The whole building time is about 16-

unread,

ATS3-prelude library is shaping up for use

Forgot to mention: real 16m41.561s user 23m30.725s sys 0m21.960s The whole building time is about 16-

9/12/24

CC (corrodedCrustacean), gmhwxi2

7/28/24

undefined reference to `atsruntime_malloc_undef`

-DATS_MEMALLOC_LIBC You need the above flag when using patscc. It is the default for myatscc. On

unread,

undefined reference to `atsruntime_malloc_undef`

-DATS_MEMALLOC_LIBC You need the above flag when using patscc. It is the default for myatscc. On

7/28/24

gmhwxi, … augu...@gmail.com4

7/15/24

Two compilers for compiling ATS3 to JS

Wow! That is wonderful news! I recall reading on here somewhere that you had trouble combining

unread,

Two compilers for compiling ATS3 to JS

Wow! That is wonderful news! I recall reading on here somewhere that you had trouble combining

7/15/24

Saravanan Thivakaram Prakash, Hongwei Xi3

7/13/24

segfault in ats generated output binary

Ah! OK. With that change segfault disappears. Thanks.Thanks. On Saturday 13 July 2024 at 09:26:38 UTC

unread,

segfault in ats generated output binary

Ah! OK. With that change segfault disappears. Thanks.Thanks. On Saturday 13 July 2024 at 09:26:38 UTC

7/13/24

7/12/24

What am I up to here? I have long wanted a systematic way to turn a functional program (FP making use

unread,

What am I up to here? I have long wanted a systematic way to turn a functional program (FP making use

7/12/24

gmhwxi, … Dambaev Alexander5

7/12/24

>> not to rely on a memory of a programmer It is more than that. For instance, we can have

unread,

>> not to rely on a memory of a programmer It is more than that. For instance, we can have

7/12/24

7/9/24

How to name a function in ATS3?

Here are two examples that may be of interest: fun <x0:vt> strm_vt_prepend0__llist0 (strm_vt(x0

unread,

How to name a function in ATS3?

Here are two examples that may be of interest: fun <x0:vt> strm_vt_prepend0__llist0 (strm_vt(x0

7/9/24

Jeffrey Brusseau, gmhwxi2

7/3/24

Things to improve in ATS

Hi, Thank you very much for your comments. I have finally emerged out of a very deep dive into the

unread,

Things to improve in ATS

Hi, Thank you very much for your comments. I have finally emerged out of a very deep dive into the

7/3/24

Ricardo Bocchi, … Gianni3

2/18/24

Lang documentation

If you're still looking for more resources, I also found the FAQ on github (not linked on the

unread,

Lang documentation

If you're still looking for more resources, I also found the FAQ on github (not linked on the

2/18/24

Gianni, Hongwei Xi2

2/14/24

Is this group still active?

The group has been dormant for quite some time. >> I hope all is well with development on ATS3

unread,

Is this group still active?

The group has been dormant for quite some time. >> I hope all is well with development on ATS3

2/14/24

4/20/23

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

4/20/23

3/9/23

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

3/9/23

Elliott Villars

1/22/23

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

1/22/23

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

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, gmhwxi15

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

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

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

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 Xi3

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

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 Xi9

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, … gmhwxi7

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, gmhwxi2

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, gmhwxi2

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

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, … gmhwxi6

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, gmhwxi2

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

Search

Clear search

Close search

Google apps

Main menu