ats-lang-users

1–30 of 1332

Welcome to the ats-lang-users 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

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

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

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 Xi3

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

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 Xi9

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

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

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

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

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

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

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

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

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 Xi3

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

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

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 Xi7

11/29/21

First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles

unread,

First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles

11/29/21

d4v3y_5c0n3s, Vanessa McHale3

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

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_5c0n3s2

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 Avery4

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 Jose5

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 Jose15

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

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

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

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

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 Xi3

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

Search

Clear search

Close search

Google apps

Main menu