ats-lang-users
Thread
Date
Earlier messages
Later messages
Messages by Date
2020/08/29
Re: How to assign a `shared` value onto a member of vtype?
Hongwei Xi
2020/08/29
Re: How to assign a `shared` value onto a member of vtype?
Dambaev Alexander
2020/08/29
Re: How to assign a `shared` value onto a member of vtype?
Dambaev Alexander
2020/08/29
How to assign a `shared` value onto a member of vtype?
Kiwamu Okabe
2020/08/28
ATS and OOP
Dambaev Alexander
2020/08/27
Re: MITRE shares this year's top 25 most dangerous software bugs
Andreas ZUERCHER
2020/08/21
MITRE shares this year's top 25 most dangerous software bugs
gmhwxi
2020/08/20
Re: Segmentation fault in Braun Tree example (modified)
Timmy Jose
2020/08/20
Re: Segmentation fault in Braun Tree example (modified)
Hongwei Xi
2020/08/20
Segmentation fault in Braun Tree example (modified)
Timmy Jose
2020/08/20
Re: ATS Github repos Twitter bot
Timmy Jose
2020/08/20
Re: ATS Github repos Twitter bot
d4v3y_5c0n3s
2020/08/19
ATS Github repos Twitter bot
Timmy Jose
2020/08/18
Re: some resources recommendations for dependent types and possibly linear types?
Timmy Jose
2020/08/18
Re: A small query about closures
gmhwxi
2020/08/18
Re: some resources recommendations for dependent types and possibly linear types?
gmhwxi
2020/08/18
Re: some resources recommendations for dependent types and possibly linear types?
gmhwxi
2020/08/18
Re: A small query about closures
Dambaev Alexander
2020/08/17
Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Andrei Popescu
2020/08/16
Re: some resources recommendations for dependent types and possibly linear types?
Timmy Jose
2020/08/16
Re: some resources recommendations for dependent types and possibly linear types?
Timmy Jose
2020/08/11
Re: A small query about closures
Timmy Jose
2020/08/11
Re: A small query about closures
Timmy Jose
2020/08/11
Re: A small query about closures
Dambaev Alexander
2020/08/11
Re: A small query about closures
Timmy Jose
2020/08/11
Re: A small query about closures
Timmy Jose
2020/08/11
Re: A small query about closures
Timmy Jose
2020/08/11
Re: A small query about closures
Dambaev Alexander
2020/08/11
Re: A small query about closures
gmhwxi
2020/08/11
Re: A small query about closures
Hongwei Xi
2020/08/11
A small query about closures
Timmy Jose
2020/08/08
Re: Structural typing in ATS?
Timmy Jose
2020/08/08
Re: Structural typing in ATS?
Hongwei Xi
2020/08/08
Structural typing in ATS?
Timmy Jose
2020/08/05
Re: The current status of ATS3
Timmy Jose
2020/08/05
Re: The current status of ATS3
Hongwei Xi
2020/08/05
Re: The current status of ATS3
Timmy Jose
2020/08/03
Re: error messages
Timmy Jose
2020/08/03
Re: error messages
Timmy Jose
2020/08/03
Re: error messages
Richard
2020/08/03
Re: error messages
Timmy Jose
2020/08/03
Re: error messages
Timmy Jose
2020/08/03
Re: error messages
Hongwei Xi
2020/08/03
Re: error messages
Hongwei Xi
2020/08/03
Re: error messages
Timmy Jose
2020/08/03
Re: error messages
Timmy Jose
2020/08/02
Fwd: [ats-lang-users] ATS2-0.4.1 released
Hongwei Xi
2020/08/01
Re: arrays' set_at/get_at functions and viewtypes
gmhwxi
2020/08/01
Re: A look at D templates
gmhwxi
2020/08/01
arrays' set_at/get_at functions and viewtypes
Dambaev Alexander
2020/07/31
A look at D templates
Artyom Shalkhakov
2020/07/27
Re: ATS Linux - A Feedback
Matthias Wolff
2020/07/26
Re: ATS Linux - A Feedback
Hongwei Xi
2020/07/26
Re: ATS Linux - A Feedback
Matthias Wolff
2020/07/26
Re: ptr1 and v0tp
Hongwei Xi
2020/07/26
Re: ATS Linux - A Feedback
gmhwxi
2020/07/26
Re: conditional expressions and branches
Dambaev Alexander
2020/07/25
Re: conditional expressions and branches
Hongwei Xi
2020/07/25
Re: conditional expressions and branches
Hongwei Xi
2020/07/25
conditional expressions and branches
Dambaev Alexander
2020/07/25
Re: constraint solving
Dambaev Alexander
2020/07/25
Re: ptr1 and v0tp
Matthias Wolff
2020/07/25
Re: ptr1 and v0tp
Hongwei Xi
2020/07/25
Re: ptr1 and v0tp
Matthias Wolff
2020/07/25
Re: ptr1 and v0tp
Hongwei Xi
2020/07/25
ptr1 and v0tp
matthias.wo...@bejocama.de
2020/07/25
Re: constraint solving
Hongwei Xi
2020/07/24
Re: constraint solving
Artyom Shalkhakov
2020/07/24
Re: constraint solving
Dambaev Alexander
2020/07/24
constraint solving
Dambaev Alexander
2020/07/20
Re: unboxed datatypes
Artyom Shalkhakov
2020/07/20
Re: unboxed datatypes
Dambaev Alexander
2020/07/19
Re: unboxed datatypes
Artyom Shalkhakov
2020/07/19
Re: unboxed datatypes
Dambaev Alexander
2020/07/19
Re: unboxed datatypes
Hongwei Xi
2020/07/19
Re: unboxed datatypes
Dambaev Alexander
2020/07/18
Re: Issue with conditionally mutating a var twice
d4v3y_5c0n3s
2020/07/18
Re: unboxed datatypes
Dambaev Alexander
2020/07/17
Re: unboxed datatypes
Artyom Shalkhakov
2020/07/17
unboxed datatypes
Dambaev Alexander
2020/07/17
Re: Issue with conditionally mutating a var twice
Hongwei Xi
2020/07/17
Re: Issue with conditionally mutating a var twice
Dambaev Alexander
2020/07/17
Re: Issue with conditionally mutating a var twice
d4v3y_5c0n3s
2020/07/16
Re: Issue with conditionally mutating a var twice
d4v3y_5c0n3s
2020/07/16
Re: Issue with conditionally mutating a var twice
Hongwei Xi
2020/07/16
Re: Issue with conditionally mutating a var twice
artyom . shalkhakov
2020/07/16
Re: Issue with conditionally mutating a var twice
Hongwei Xi
2020/07/16
Re: Issue with conditionally mutating a var twice
Dambaev Alexander
2020/07/16
Issue with conditionally mutating a var twice
d4v3y_5c0n3s
2020/07/12
Re: datavtypes
gmhwxi
2020/07/12
Re: datavtypes
Dambaev Alexander
2020/07/12
Re: datavtypes
gmhwxi
2020/07/12
Re: datavtypes
Dambaev Alexander
2020/07/11
Re: datavtypes
Dambaev Alexander
2020/07/10
Re: datavtypes
gmhwxi
2020/07/10
Re: datavtypes
Dambaev Alexander
2020/07/10
datavtypes
ice.r...@gmail.com
2020/07/10
Re: arrays and viewtypes
Dambaev Alexander
2020/07/09
Re: arrays and viewtypes
Dambaev Alexander
2020/07/09
Re: arrays and viewtypes
Hongwei Xi
2020/07/09
Re: arrays and viewtypes
Hongwei Xi
2020/07/09
Re: arrays and viewtypes
Dambaev Alexander
2020/07/09
Re: arrays and viewtypes
artyom . shalkhakov
2020/07/09
Re: arrays and viewtypes
Hongwei Xi
2020/07/09
Re: arrays and viewtypes
Dambaev Alexander
2020/07/09
Re: arrays and viewtypes
Dambaev Alexander
2020/07/09
arrays and viewtypes
ice.r...@gmail.com
2020/07/09
Re: The current status of ATS3
Andreas ZUERCHER
2020/07/08
Re: bit operations
Dambaev Alexander
2020/07/08
Re: bit operations
Hongwei Xi
2020/07/08
Re: bit operations
Dambaev Alexander
2020/07/08
Re: bit operations
Hongwei Xi
2020/07/08
bit operations
ice.r...@gmail.com
2020/07/07
Re: ATS2: need help with arrays
gmhwxi
2020/07/07
Re: ATS2: need help with arrays
Dambaev Alexander
2020/07/07
Re: ATS2: need help with arrays
Hongwei Xi
2020/07/07
Re: ATS2: need help with arrays
Dambaev Alexander
2020/07/07
ATS2: need help with arrays
ice.r...@gmail.com
2020/07/06
Re: ATS templates vs. C++ templates
Hongwei Xi
2020/07/06
Re: ATS templates vs. C++ templates
Matthias Wolff
2020/07/06
Re: ATS templates vs. C++ templates
gmhwxi
2020/07/05
ATS templates vs. C++ templates
gmhwxi
2020/07/05
Re: Will Traits and Concepts be supported in ATS3?
Hongwei Xi
2020/07/05
Re: Witnessing the effectiveness of types in detecting bugs
Hongwei Xi
2020/07/05
Re: Will Traits and Concepts be supported in ATS3?
Matthias Wolff
2020/07/05
Re: Witnessing the effectiveness of types in detecting bugs
Brandon Barker
2020/07/04
Witnessing the effectiveness of types in detecting bugs
gmhwxi
2020/07/04
Re: The current status of ATS3 - forgot lambdas
Matthias Wolff
2020/07/04
Re: Will Traits and Concepts be supported in ATS3?
Matthias Wolff
2020/07/04
Re: The current status of ATS3
Artyom Shalkhakov
2020/07/03
Re: Will Traits and Concepts be supported in ATS3?
gmhwxi
2020/07/03
Re: Will Traits and Concepts be supported in ATS3?
Matthias Wolff
2020/07/03
Will Traits and Concepts be supported in ATS3?
gmhwxi
2020/07/03
Re: The current status of ATS3 - forgot lambdas
Hongwei Xi
2020/07/03
Re: The current status of ATS3
Hongwei Xi
2020/07/03
Re: The current status of ATS3
Hongwei Xi
2020/07/03
Re: The current status of ATS3 - forgot lambdas
Matthias Wolff
2020/07/03
Re: The current status of ATS3
Matthias Wolff
2020/07/03
Re: The current status of ATS3
Chris Double
2020/07/02
Re: The current status of ATS3
gmhwxi
2020/07/02
Re: Two much accuracy can actually be bad
gmhwxi
2020/07/02
Re: Two much accuracy can actually be bad
Dambaev Alexander
2020/07/02
Re: Two much accuracy can actually be bad
Brandon Barker
2020/07/02
Two much accuracy can actually be bad
gmhwxi
2020/07/02
Re: ATS Linux - A Feedback
Kiwamu Okabe
2020/07/01
ATS Linux - A Feedback
matthias.wo...@bejocama.de
2020/06/30
Re: The current status of ATS3
Hongwei Xi
2020/06/30
Re: The current status of ATS3
Hongwei Xi
2020/06/30
Re: The current status of ATS3
Artyom Shalkhakov
2020/06/29
Re: The current status of ATS3
Hongwei Xi
2020/06/29
Re: The current status of ATS3
Brandon Barker
2020/06/29
The current status of ATS3
gmhwxi
2020/06/26
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/25
Re: ATS2 libraries I've been working on
Hongwei Xi
2020/06/25
Re: ATS2 libraries I've been working on
Artyom Shalkhakov
2020/06/25
Re: ATS2 libraries I've been working on
isaac....@gmail.com
2020/06/25
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/24
ATS2 libraries I've been working on
randy...@gmail.com
2020/06/19
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/18
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/18
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/18
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/18
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/18
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/14
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/14
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/14
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/09
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/08
Re: HOAS encoding of lambda calculus with linear types
Hongwei Xi
2020/06/08
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/07
Re: HOAS encoding of lambda calculus with linear types
artyom . shalkhakov
2020/06/07
Re: HOAS encoding of lambda calculus with linear types
August Alm
2020/06/07
Re: HOAS encoding of lambda calculus with linear types
artyom . shalkhakov
2020/06/07
HOAS encoding of lambda calculus with linear types
August Alm
2020/05/25
Re: GPU-accelerated computation in ATS
Vanessa McHale
2020/04/30
Re: Issues with SDL_mixer interface
d4v3y_5c0n3s
2020/04/29
Re: Issues with SDL_mixer interface
Chris Double
2020/04/29
Re: Issues with SDL_mixer interface
d4v3y_5c0n3s
2020/04/29
Re: Issues with SDL_mixer interface
d4v3y_5c0n3s
2020/04/29
Re: Issues with SDL_mixer interface
d4v3y_5c0n3s
2020/04/29
Re: Issues with SDL_mixer interface
d4v3y_5c0n3s
2020/04/28
Re: Issues with SDL_mixer interface
Hongwei Xi
2020/04/28
Re: Issues with SDL_mixer interface
Hongwei Xi
2020/04/28
Issues with SDL_mixer interface
d4v3y_5c0n3s
2020/04/25
Re: At-views and isomorphisms
August Alm
2020/04/25
Re: At-views and isomorphisms
gmhwxi
2020/04/24
At-views and isomorphisms
August Alm
2020/04/20
Re: Declarations of external values & functions from separate file showing up as "undeclared"
d4v3y_5c0n3s
2020/04/20
Re: Declarations of external values & functions from separate file showing up as "undeclared"
Hongwei Xi
2020/04/20
Re: Declarations of external values & functions from separate file showing up as "undeclared"
gmhwxi
2020/04/19
Declarations of external values & functions from separate file showing up as "undeclared"
d4v3y_5c0n3s
2020/04/16
Certified Programs and Proofs (CPP) 2021: First Call for Papers
Andrei Popescu
2020/03/25
Re: simulating typeclasses in ATS
Vanessa McHale
2020/03/24
Programming With Datasorts
M88
2020/03/22
Re: "error(parsing): the keyword [:] is needed" message despite code appearing to be fine
d4v3y_5c0n3s
2020/03/21
Re: "error(parsing): the keyword [:] is needed" message despite code appearing to be fine
Richard
2020/03/21
Re: "error(parsing): the keyword [:] is needed" message despite code appearing to be fine
d4v3y_5c0n3s
2020/03/21
"error(parsing): the keyword [:] is needed" message despite code appearing to be fine
Richard
2020/03/21
"error(parsing): the keyword [:] is needed" message despite code appearing to be fine
d4v3y_5c0n3s
2020/03/19
Re: simulating typeclasses in ATS
gmhwxi
Earlier messages
Later messages