ats-lang-users  

Messages by Thread

• • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
  • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
  • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
  • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
  • Re: HOAS encoding of lambda calculus with linear types August Alm
  • Re: HOAS encoding of lambda calculus with linear types Hongwei Xi
• Issues with SDL_mixer interface d4v3y_5c0n3s
  • Re: Issues with SDL_mixer interface Hongwei Xi
  • Re: Issues with SDL_mixer interface Hongwei Xi
  • Re: Issues with SDL_mixer interface d4v3y_5c0n3s
  • Re: Issues with SDL_mixer interface d4v3y_5c0n3s
  • Re: Issues with SDL_mixer interface d4v3y_5c0n3s
  • Re: Issues with SDL_mixer interface d4v3y_5c0n3s
  • Re: Issues with SDL_mixer interface Chris Double
  • Re: Issues with SDL_mixer interface d4v3y_5c0n3s
• At-views and isomorphisms August Alm
  • Re: At-views and isomorphisms gmhwxi
  • Re: At-views and isomorphisms August Alm
• Declarations of external values & functions from separate file showing up as "undeclared" d4v3y_5c0n3s
  • Re: Declarations of external values & functions from separate file showing up as "undeclared" gmhwxi
  • Re: Declarations of external values & functions from separate file showing up as "undeclared" Hongwei Xi
  • Re: Declarations of external values & functions from separate file showing up as "undeclared" d4v3y_5c0n3s
• Certified Programs and Proofs (CPP) 2021: First Call for Papers Andrei Popescu
• Programming With Datasorts M88
• "error(parsing): the keyword [:] is needed" message despite code appearing to be fine d4v3y_5c0n3s
  • "error(parsing): the keyword [:] is needed" message despite code appearing to be fine Richard
  • Re: "error(parsing): the keyword [:] is needed" message despite code appearing to be fine d4v3y_5c0n3s
  • Re: "error(parsing): the keyword [:] is needed" message despite code appearing to be fine Richard
  • Re: "error(parsing): the keyword [:] is needed" message despite code appearing to be fine d4v3y_5c0n3s
• simulating typeclasses in ATS whyu
  • Re: simulating typeclasses in ATS gmhwxi
  • Re: simulating typeclasses in ATS Vanessa McHale
• atscc doesn't compile hello world Temirkhan Myrzamadi
  • Re: atscc doesn't compile hello world Artyom Shalkhakov
  • Re: atscc doesn't compile hello world Temirkhan Myrzamadi
  • Re: atscc doesn't compile hello world Hongwei Xi
• GPU-accelerated computation in ATS Vanessa McHale
  • Re: GPU-accelerated computation in ATS gmhwxi
  • Re: GPU-accelerated computation in ATS Brandon Barker
  • Re: GPU-accelerated computation in ATS Vanessa McHale
• Should runtime's license be GPL3+RLE3.1 instead of pure GPL3? Andreas ZUERCHER
  • Re: Should runtime's license be GPL3+RLE3.1 instead of pure GPL3? gmhwxi
• How can I best help rodol
  • Re: How can I best help gmhwxi
  • Re: How can I best help froyo
  • Re: How can I best help Richard
  • Re: How can I best help froyo
  • Re: How can I best help froyo
  • Re: How can I best help froyo
• ATS3 Temptory rodol
  • Re: ATS3 Temptory gmhwxi
  • Re: ATS3 Temptory Andreas ZUERCHER
  • Re: ATS3 Temptory Hongwei Xi
• Primitives, lists, and memory rodol
  • Re: Primitives, lists, and memory Andreas ZUERCHER
  • Re: Primitives, lists, and memory gmhwxi
  • Re: Primitives, lists, and memory rodol
  • Re: Primitives, lists, and memory gmhwxi
• Fwd: Moderator's spam report for [email protected] Hongwei Xi
• CHI É IL NAZISTA ASSASSINO CLAUDIO MICHELIZZA DI BUFALE? CHI É IL PEDERASTA INCULA BAMBINI FABIO MILELLA DI BUFALE? SON 2 FIGLI DI FASCIO-PUTTANE AL SOLDO DEL PEDOFILO MACELLA MAGISTRATI SILVIO BERLUSCONI E DI MIA EX AMANTE LESBICA.................FI 'Maria Grazia Crupi Examantedi-MarinaBerlusconi' via ats-lang-users
• Documenting Xanadu gmhwxi
• Fwd: [ats-lang-users] ATS2-0.4.0 released Hongwei Xi
• ats3 extension - jsonize abstract syntax trees Richard
  • Re: ats3 extension - jsonize abstract syntax trees rodol
  • Re: ats3 extension - jsonize abstract syntax trees gmhwxi
• How is ATS3 implementation structured? gmhwxi
• Are you interested in building tools for ATS3? gmhwxi
  • Re: Are you interested in building tools for ATS3? Kiwamu Okabe
  • Re: Are you interested in building tools for ATS3? Kiwamu Okabe
  • Re: Are you interested in building tools for ATS3? Richard
  • Re: Are you interested in building tools for ATS3? Richard
  • Re: Are you interested in building tools for ATS3? Richard
  • Re: Are you interested in building tools for ATS3? Chris Double
  • Re: Are you interested in building tools for ATS3? gmhwxi
  • Re: Are you interested in building tools for ATS3? Chris Double
  • Re: Are you interested in building tools for ATS3? Richard
  • Re: Are you interested in building tools for ATS3? 'Dan'l Miller' via ats-lang-users
  • Re: Are you interested in building tools for ATS3? gmhwxi
  • Re: Are you interested in building tools for ATS3? gmhwxi
  • Re: Are you interested in building tools for ATS3? rodol
  • Re: Are you interested in building tools for ATS3? gmhwxi
  • Re: Are you interested in building tools for ATS3? 'Dan'l Miller' via ats-lang-users
  • Re: Are you interested in building tools for ATS3? gmhwxi
  • Re: Are you interested in building tools for ATS3? 'Dan'l Miller' via ats-lang-users
  • Re: Are you interested in building tools for ATS3? gmhwxi
• A brief update on ATS3 implementation gmhwxi
  • Re: A brief update on ATS3 implementation gmhwxi
  • Re: A brief update on ATS3 implementation Richard
  • Re: A brief update on ATS3 implementation Brandon Barker
  • Re: A brief update on ATS3 implementation Raoul Duke
  • Re: A brief update on ATS3 implementation gmhwxi
• 404 errors in github Postiats wiki rodol
  • Re: 404 errors in github Postiats wiki Hongwei Xi
  • Re: 404 errors in github Postiats wiki rodol
  • Re: 404 errors in github Postiats wiki rodol
• Unit and Void types in ATS3 rodol
  • Re: Unit and Void types in ATS3 gmhwxi
  • Re: Unit and Void types in ATS3 Richard
• Call for participation for CPP 2020 Catalin Hritcu
• "fopen: No such file or directory" Issue When Compiling a Simple Project d4v3y_5c0n3s
  • Re: "fopen: No such file or directory" Issue When Compiling a Simple Project Hongwei Xi
  • Re: "fopen: No such file or directory" Issue When Compiling a Simple Project d4v3y_5c0n3s
  • Re: "fopen: No such file or directory" Issue When Compiling a Simple Project d4v3y_5c0n3s
• Found typos on some documentation pages rodol
  • Re: Found typos on some documentation pages Hongwei Xi
• multiple readers/writers Raoul Duke
  • Re: multiple readers/writers Hongwei Xi
• Difficulties with C FFI & writing a concurrent stack Vanessa McHale
  • Re: Difficulties with C FFI & writing a concurrent stack gmhwxi
  • Re: Difficulties with C FFI & writing a concurrent stack Vanessa McHale
  • Re: Difficulties with C FFI & writing a concurrent stack Hongwei Xi
  • Re: Difficulties with C FFI & writing a concurrent stack Vanessa McHale
• Problem in Makefile: Can't Find 'atsmake-post.mk' and Other Probelms d4v3y_5c0n3s
  • Re: Problem in Makefile: Can't Find 'atsmake-post.mk' and Other Probelms Hongwei Xi
  • Re: Problem in Makefile: Can't Find 'atsmake-post.mk' and Other Probelms d4v3y_5c0n3s
• Memory-safe graphs without GC in ATS Vanessa McHale
  • Re: Memory-safe graphs without GC in ATS gmhwxi
• CFP for Certified Programs and Proofs (CPP 2020) Catalin Hritcu
• Temptory-0.0.2 released gmhwxi
• Unison programming language and hashed semantics Brandon Barker
• Read IO and Write IO gmhwxi
  • Read IO and Write IO Richard
  • Re: Read IO and Write IO Julian Fondren
  • Re: Read IO and Write IO Julian Fondren
  • Re: Read IO and Write IO Hongwei Xi
  • Re: Read IO and Write IO Hongwei Xi
  • Re: Read IO and Write IO Kiwamu Okabe
  • Re: Read IO and Write IO gmhwxi
  • Re: Read IO and Write IO Kiwamu Okabe
  • Re: Read IO and Write IO Hongwei Xi
  • Re: Read IO and Write IO Kiwamu Okabe
  • Re: Read IO and Write IO Brandon Barker
  • Re: Read IO and Write IO Hongwei Xi
  • Re: Read IO and Write IO Brandon Barker
  • Re: Read IO and Write IO gmhwxi
  • Re: Read IO and Write IO Dambaev Alexander
  • Re: Read IO and Write IO gmhwxi
  • Re: Read IO and Write IO Dambaev Alexander
  • Re: Read IO and Write IO gmhwxi
  • Re: Read IO and Write IO Brandon Barker
  • Re: Read IO and Write IO Hongwei Xi
  • Re: Read IO and Write IO M88
  • Re: Read IO and Write IO Hongwei Xi
• Tracking effects in ATS gmhwxi
  • Re: Tracking effects in ATS Kiwamu Okabe
• ATS as a runtime-less and library-less language gmhwxi
  • Re: ATS as a runtime-less and library-less language Kiwamu Okabe
  • Re: ATS as a runtime-less and library-less language Hongwei Xi
• Model not available exception s.check() is returning 'sat' Ipsita Koley
  • Re: Model not available exception s.check() is returning 'sat' gmhwxi
• Transpiled C code compatibility Mustapha Rashiduddin
  • Re: Transpiled C code compatibility Chris Double
  • Re: Transpiled C code compatibility Mustapha Rashiduddin
• A toy translator C to ATS Kiwamu Okabe
  • Re: A toy translator C to ATS Artyom Shalkhakov
  • Re: A toy translator C to ATS Kiwamu Okabe
• AoS vs SoA? Raoul Duke
• Temptory-0.0.1 released gmhwxi
• An interesting talk on ATS gmhwxi
  • Re: An interesting talk on ATS Artyom Shalkhakov
• Issue with call-by-reference and template dispatch M88
  • Re: Issue with call-by-reference and template dispatch Richard
  • Re: Issue with call-by-reference and template dispatch Richard
  • Re: Issue with call-by-reference and template dispatch Richard
  • Re: Issue with call-by-reference and template dispatch M88
  • Re: Issue with call-by-reference and template dispatch Hongwei Xi
  • Re: Issue with call-by-reference and template dispatch M88
• Issues with late-binding templates in the same file? aditya siram
  • Re: Issues with late-binding templates in the same file? Hongwei Xi
• Issues with stack allocated closures in Temptory aditya siram
  • Re: Issues with stack allocated closures in Temptory Hongwei Xi
  • Re: Issues with stack allocated closures in Temptory aditya siram
• Linear types + Exceptions aditya siram
  • Linear types + Exceptions Richard
  • Re: Linear types + Exceptions aditya siram
  • Re: Linear types + Exceptions aditya siram
  • Re: Linear types + Exceptions aditya siram
  • Re: Linear types + Exceptions Chris Double
  • Re: Linear types + Exceptions Hongwei Xi
  • Re: Linear types + Exceptions Raoul Duke
  • Re: Linear types + Exceptions aditya siram
  • Re: Linear types + Exceptions Hongwei Xi
  • Re: Linear types + Exceptions Richard
  • Re: Linear types + Exceptions Richard
  • Re: Linear types + Exceptions aditya siram
• refinement subset? Raoul Duke
  • Re: refinement subset? gmhwxi
  • Re: refinement subset? Raoul Duke
  • Re: refinement subset? Richard
• Fwd: Published Article on ATS Hongwei Xi
  • Re: Published Article on ATS Richard
  • Re: Published Article on ATS Artyom Shalkhakov

• Earlier messages
• Later messages