Messages by Date
-
2021/12/10
Re: How to define linear abstract types based on records
d4v3y_5c0n3s
-
2021/12/10
Re: How to define linear abstract types based on records
Hongwei Xi
-
2021/12/10
How to define linear abstract types based on records
d4v3y_5c0n3s
-
2021/12/08
Certified Programs and Proofs (CPP) 2022: Call for Participation
Andrei Popescu
-
2021/12/07
Re: What is the best way to turn a file into a lazy linear stream?
d4v3y_5c0n3s
-
2021/12/07
Re: Help with Templates, cannot find missing implementation somewhere...
d4v3y_5c0n3s
-
2021/11/30
Re: What is the best way to turn a file into a lazy linear stream?
gmhwxi
-
2021/11/30
Re: Help with Templates, cannot find missing implementation somewhere...
gmhwxi
-
2021/11/30
Re: Help with Templates, cannot find missing implementation somewhere...
Hongwei Xi
-
2021/11/30
Re: Help with Templates, cannot find missing implementation somewhere...
d4v3y_5c0n3s
-
2021/11/30
Re: Help with Templates, cannot find missing implementation somewhere...
d4v3y_5c0n3s
-
2021/11/30
Re: Help with Templates, cannot find missing implementation somewhere...
d4v3y_5c0n3s
-
2021/11/30
Re: Help with Templates, cannot find missing implementation somewhere...
Hongwei Xi
-
2021/11/30
Help with Templates, cannot find missing implementation somewhere...
d4v3y_5c0n3s
-
2021/11/29
Re: Template Issue
d4v3y_5c0n3s
-
2021/11/29
Re: Template Issue
Hongwei Xi
-
2021/11/29
Re: Template Issue
Hongwei Xi
-
2021/11/29
Re: Template Issue
d4v3y_5c0n3s
-
2021/11/29
Re: Template Issue
d4v3y_5c0n3s
-
2021/11/29
Re: Template Issue
Hongwei Xi
-
2021/11/29
Template Issue
d4v3y_5c0n3s
-
2021/11/27
Re: Template Debugging Tips?
d4v3y_5c0n3s
-
2021/11/27
Re: Template Debugging Tips?
Vanessa McHale
-
2021/11/27
Template Debugging Tips?
d4v3y_5c0n3s
-
2021/11/22
AMA IL SESSO ANALE: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO DI GRUPPO EXTREME: MARIA PAOLA TOSCHI DI JP MORGAN! É SEMPRE NINFOMANE FOCOSA: #MARIAPAOLATOSCHI DI JP MORGAN! NE SCRIVE CON ENTUSIASMO (VOLENDOLE BENE), L'EROICO BANCHIERE SVIZZERO.....
ANDREA SIGNINI ZAGAMIANI ANTI BERLUSCONIANI
-
2021/11/16
VUOLE MOLTO SESSO ANALE: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO DI GRUPPO EXTREME: MARIA PAOLA TOSCHI DI JP MORGAN! É SEMPRE NINFOMANE FOCOSISSIMA: #MARIAPAOLATOSCHI DI JP MORGAN! NE SCRIVE CON ENTUSIASMO (VOLENDOLE BENE), L'EROICO BANCHIERE....
FRANCESCO PERILLI EQUITA SIM MILAN
-
2021/11/15
É NAZI, ASSASSINA E LESBICA: #MARINABERLUSCONI! ASSASSINA COME SUO PADRE FASCISTA, MAFIOSO, PEDOFILO E MANDANTE DI OMICIDI E STRAGI: #SILVIOBERLUSCONI! E POI, IL FIGLIO DI PUTTANONA #PIERSILVIOBERLUSCONI (ANCOR PIÚ FIGLIO DI PEDOFILO MACELLA.........
FRANCESCA DONATO. MASSONERIA ZAGAMIANA DI DESTRA
-
2021/11/12
É NAZI卐LESBICA ASSASSINA: #MARINABERLUSCONI! ASSASSINA COME SUO PADRE NAZISTA, MAFIOSO, PEDOFILO E MANDANTE DI OMICIDI E STRAGI: #SILVIOBERLUSCONI! E POI, IL FIGLIO DI PUTTANA #PIERSILVIOBERLUSCONI (ANCOR PIÚ FIGLIO DI PEDOFILO ASSASSINO........MACEL
FRANCESCA DONATO. ESTREMA DESTRA ZAGAMIANA
-
2021/11/11
É SEMPRE AFFAMATA DI SESSO: #MARIAPAOLATOSCHI DI JP MORGAN! É SEMPRE STRA NINFOMANE: MARIA PAOLA TOSCHI DI #JPMORGAN! NE SCRIVE CON ENTUSIASMO, L'EROICO BANCHIERE SVIZZERO #ANDREASNIGG DI BANK J SAFRA SARASIN ZURICH. CHE PASSAVA WEEK ENDS DI SESSO...
GIANMARIO FERRAMONTI CONFIMPRESA E CONFIMEA
-
2021/11/09
É SEMPRE VOGLIOSA DI SESSO FOCOSO: #MARIAPAOLATOSCHI DI JP MORGAN! É SEMPRE INCREDIBLMENTE NINFOMANE: MARIA PAOLA TOSCHI DI #JPMORGAN! NE SCRIVE CON ENTUSIASMO, #ANDREASNIGG DI BANK J SAFRA SARASIN ZURICH. CHE PASSAVA WEEK ENDS DI SESSO SFRENATO.....
MAURIZIO PORCARI FIDEURAM INVESTIMENTI SGR
-
2021/10/30
Re: Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)
d4v3y_5c0n3s
-
2021/10/30
Re: Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)
gmhwxi
-
2021/10/30
Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)
d4v3y_5c0n3s
-
2021/10/17
Re: What is the best way to turn a file into a lazy linear stream?
d4v3y_5c0n3s
-
2021/10/07
Re: Lambdas that use linear resources
d4v3y_5c0n3s
-
2021/10/06
Re: Memory Mapped IO
Owen Avery
-
2021/10/04
Lambdas that use linear resources
mark.l....@gmail.com
-
2021/10/04
What is the best way to turn a file into a lazy linear stream?
d4v3y_5c0n3s
-
2021/09/26
Re: Learn ATS in Y minutes -- request for documentation review
Timmy Jose
-
2021/09/20
Re: Someone is trying to debug ATS code using DWARF?
Timmy Jose
-
2021/09/18
É BESTIA CRIMINALE #MASSIMODORIS DI #BANCAMEDIOLANUM! RICICLA TANTI SOLDI MAFIOSI, ESATTAMENTE DEI NDRANGHETISTI MEGA ASSASSINI DE STEFANO, INSIEME AL FACCENDIERE NAZI卐LEGHISTA E KILLER #PAOLOBARRAI ED AL MASSONE DI NDRANGHETA E PEDOFILO #CARPEORO!!!
FABIO VENZI-GRAN MAESTRO GLRI
-
2021/09/16
LAVA SOLDI MAFIOSI: IL PEDOFILO #ENNIODORIS DI #BANCAMEDIOLANUM, CHE MEGLIO DEFINIREI BANCA MEDIOLANUM, MAFIOLANUM, CAMORRANUM, NDRANGOLANUM, NAZISTANUM! NE SCRIVE CON COTANTO DI PROVE E TESTIMONIANZE, L'EROICO BANCHIERE SVIZZERO ANDREAS NIGG........
'LORENZO PIACENTINI LAZARD MILAN' via ats-lang-users
-
2021/09/13
É ASSASSINA E PEDOFILA: #MARINABERLUSCONI! COME SUO PADRE MAFIOSO, NAZISTA, PEDOFILO E STRAGISTA MACELLA MAGISTRATI #SILVIOBERLUSCONI! NE SCRIVE IL BANCHIERE #ANDREASNIGG DI SAFRA SARASIN ZURICH, PENTITO D'AVER LAVATO LORO SOLDI CRIMINALI X ANNI.....
ROBERTO GORINI CRYPTO ECONOMY MATRIX-ECONOMY
-
2021/09/08
30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
Andrei Popescu
-
2021/08/19
Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Andrei Popescu
-
2021/07/22
Re: FILEREF type is non-linear?
d4v3y_5c0n3s
-
2021/07/18
Re: FILEREF type is non-linear?
gmhwxi
-
2021/07/11
FILEREF type is non-linear?
d4v3y_5c0n3s
-
2021/07/05
Re: ATS3 and stuff
Timmy Jose
-
2021/07/04
Re: ATS3 and stuff
gmhwxi
-
2021/07/04
Re: ATS3 and stuff
gmhwxi
-
2021/07/01
Re: Trying to get a dependent type working in ATS
d4v3y_5c0n3s
-
2021/06/30
Re: Trying to get a dependent type working in ATS
Hongwei Xi
-
2021/06/30
Trying to get a dependent type working in ATS
d4v3y_5c0n3s
-
2021/06/28
Re: ATS3 and stuff
Timmy Jose
-
2021/06/28
Re: ATS3 and stuff
Timmy Jose
-
2021/06/26
Re: Memory Mapped IO
d4v3y_5c0n3s
-
2021/06/16
STUPRA ED UCCIDE I BAMBINI: DANIELE MINOTTI! AVVOCATO PEDOFILO, SATANISTA, SATAN卐AZISTA, MASSON^PIDUISTA, ASSASSINO DI GENOVA, RAPALLO E CRIMINALISSIMO STUDIO LEGALE LISI! É DAVVERO DA ARRESTARE L'AVVOCATO PEDOFILO ED ASSASSINO DANIELE MINOTTI (TWI
'GIULIANO URBANI VADAINGALERA ILPEDOFILOBERLUSCONI' via ats-lang-users
-
2021/06/14
Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)
Andrei Popescu
-
2021/06/14
Certified Programs and Proofs (CPP) 2022: Call for Papers
Andrei Popescu
-
2021/06/07
Re: -Wincompatible-pointer-type for functions taking a pointer
David Smith
-
2021/06/07
Re: Functional imperative programming in ATS
augu...@gmail.com
-
2021/06/05
Re: -Wincompatible-pointer-type for functions taking a pointer
Hongwei Xi
-
2021/06/05
-Wincompatible-pointer-type for functions taking a pointer
David Smith
-
2021/06/05
Functional imperative programming in ATS
gmhwxi
-
2021/06/03
DML-style dependent types in ATS
gmhwxi
-
2021/06/03
Re: Moving forward with ATS3
d4v3y_5c0n3s
-
2021/06/03
Re: Passing null as a string
Troy Jacobs
-
2021/06/03
Re: Passing null as a string
David Smith
-
2021/06/03
Re: Memory Mapped IO
Troy Jacobs
-
2021/06/03
Re: "Number is smaller than 0x8000, trust me"
Troy Jacobs
-
2021/06/03
Moving forward with ATS3
gmhwxi
-
2021/06/03
Re: "Number is smaller than 0x8000, trust me"
David Smith
-
2021/06/03
Re: Passing null as a string
Troy Jacobs
-
2021/06/03
Memory Mapped IO
David Smith
-
2021/06/03
Passing null as a string
David Smith
-
2021/05/31
Re: Some ATS2 library updates...
gmhwxi
-
2021/05/30
Re: Some ATS2 library updates...
gmhwxi
-
2021/05/30
Re: Some ATS2 library updates...
Dambaev Alexander
-
2021/05/30
Re: Some ATS2 library updates...
Randy Valis
-
2021/05/30
Re: Some ATS2 library updates...
Elijah Stone
-
2021/05/30
Some ATS2 library updates...
randy...@gmail.com
-
2021/05/29
Re: Type signatures in ATS
Michael Lan
-
2021/05/29
Re: "Number is smaller than 0x8000, trust me"
d4v3y_5c0n3s
-
2021/05/29
Re: Type signatures in ATS
Artyom Shalkhakov
-
2021/05/28
Re: Type signatures in ATS
Michael Lan
-
2021/05/28
Re: Type signatures in ATS
Dambaev Alexander
-
2021/05/28
Re: Type signatures in ATS
artyom . shalkhakov
-
2021/05/28
Type signatures in ATS
Michael Lan
-
2021/05/26
PhD position on the formalization of logical calculi in Saarbrücken
Andrei Popescu
-
2021/05/23
Re: agez vs addr > null
gmhwxi
-
2021/05/23
Re: "Number is smaller than 0x8000, trust me"
Hongwei Xi
-
2021/05/23
Re: "Number is smaller than 0x8000, trust me"
Elijah Stone
-
2021/05/23
Re: "Number is smaller than 0x8000, trust me"
David Smith
-
2021/05/23
Re: "Number is smaller than 0x8000, trust me"
Elijah Stone
-
2021/05/23
"Number is smaller than 0x8000, trust me"
David Smith
-
2021/05/23
Re: agez vs addr > null
David Smith
-
2021/05/22
Re: agez vs addr > null
Elijah Stone
-
2021/05/22
Re: agez vs addr > null
Elijah Stone
-
2021/05/22
Re: agez vs addr > null
Dambaev Alexander
-
2021/05/22
Re: agez vs addr > null
Dambaev Alexander
-
2021/05/22
agez vs addr > null
David Smith
-
2021/05/21
Re: ATS templates vs. C++ templates
Dambaev Alexander
-
2021/05/21
Re: ATS templates vs. C++ templates
Hongwei Xi
-
2021/05/21
Re: PMVtmpltcstmat not declared
David Smith
-
2021/05/21
Re: PMVtmpltcstmat not declared
Dambaev Alexander
-
2021/05/21
Re: PMVtmpltcstmat not declared
David Smith
-
2021/05/21
Re: ATS templates vs. C++ templates
Dambaev Alexander
-
2021/05/20
Re: ATS templates vs. C++ templates
gmhwxi
-
2021/05/20
Re: ATS templates vs. C++ templates
Dambaev Alexander
-
2021/05/20
Re: PMVtmpltcstmat not declared
Dambaev Alexander
-
2021/05/20
PMVtmpltcstmat not declared
David Smith
-
2021/05/20
Re: Termetric not well-founded
David Smith
-
2021/05/20
Termetric not well-founded
David Smith
-
2021/05/19
Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Andrei Popescu
-
2021/05/11
Re: Learn ATS in Y minutes -- request for documentation review
Peter Damoc
-
2021/05/11
Re: Implementing refinement types
Hongwei Xi
-
2021/05/11
Implementing refinement types
Elijah Stone
-
2021/05/09
Re: Having Trouble Finding a Constraint Which is Failing
Dambaev Alexander
-
2021/05/08
Re: Having Trouble Finding a Constraint Which is Failing
d4v3y_5c0n3s
-
2021/05/08
Re: Having Trouble Finding a Constraint Which is Failing
Dambaev Alexander
-
2021/05/08
Re: Having Trouble Finding a Constraint Which is Failing
d4v3y_5c0n3s
-
2021/05/08
Re: Having Trouble Finding a Constraint Which is Failing
Hongwei Xi
-
2021/05/08
Having Trouble Finding a Constraint Which is Failing
d4v3y_5c0n3s
-
2021/04/18
Fwd: ATS2 source make issue
Hongwei Xi
-
2021/04/18
Re: ATS2 source make issue
Phil Roc
-
2021/04/18
Re: ATS2 source make issue
Phil Roc
-
2021/04/18
ATS2 source make issue
Phil Roc
-
2021/04/17
Fwd: ATS on iSh
Hongwei Xi
-
2021/04/06
Re: How to use view in vtypedef?
Kiwamu Okabe
-
2021/04/06
Re: How to use view in vtypedef?
Hongwei Xi
-
2021/04/06
Re: How to use the datavtype for tagged union?
Hongwei Xi
-
2021/04/06
Re: How to use view in vtypedef?
Kiwamu Okabe
-
2021/04/06
Re: How to use the datavtype for tagged union?
Kiwamu Okabe
-
2021/04/05
Re: How to use view in vtypedef?
Hongwei Xi
-
2021/04/05
Re: How to use the datavtype for tagged union?
Hongwei Xi
-
2021/04/05
How to use view in vtypedef?
Kiwamu Okabe
-
2021/04/05
Re: How to use the datavtype for tagged union?
Kiwamu Okabe
-
2021/04/05
Re: How to use the datavtype for tagged union?
Hongwei Xi
-
2021/04/05
Re: How to use the datavtype for tagged union?
Kiwamu Okabe
-
2021/04/05
Re: How to use the datavtype for tagged union?
Kiwamu Okabe
-
2021/04/05
Re: How to use the datavtype for tagged union?
Hongwei Xi
-
2021/04/03
Re: How to use the datavtype for tagged union?
Kiwamu Okabe
-
2021/04/03
How to use the datavtype for tagged union?
Kiwamu Okabe
-
2021/03/31
Re: How to avoid an unsolved constraint error on `if pagesizes > 0UL then pagesizes else 1UL`
Kiwamu Okabe
-
2021/03/31
Re: How to avoid an unsolved constraint error on `if pagesizes > 0UL then pagesizes else 1UL`
Hongwei Xi
-
2021/03/31
How to avoid an unsolved constraint error on `if pagesizes > 0UL then pagesizes else 1UL`
Kiwamu Okabe
-
2021/03/17
21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
Andrei Popescu
-
2021/03/12
Lecturer in Verification position at University of Sheffield: deadline 29 March 2021
Andrei Popescu
-
2021/03/05
Re: Finding Strings within Strings in ATS
d4v3y_5c0n3s
-
2021/03/04
Re: Finding Strings within Strings in ATS
gmhwxi
-
2021/03/01
Re: Finding Strings within Strings in ATS
d4v3y_5c0n3s
-
2021/02/28
Re: Finding Strings within Strings in ATS
gmhwxi
-
2021/02/27
Re: Finding Strings within Strings in ATS
Elijah Stone
-
2021/02/27
Re: Finding Strings within Strings in ATS
gmhwxi
-
2021/02/25
Finding Strings within Strings in ATS
d4v3y_5c0n3s
-
2021/02/22
Re: A talk by Deech on ATS
d4v3y_5c0n3s
-
2021/02/21
Re: current status of libxatsopt
gmhwxi
-
2021/02/20
Re: A talk by Deech on ATS
Dambaev Alexander
-
2021/02/20
Re: current status of libxatsopt
Dambaev Alexander
-
2021/02/20
A talk by Deech on ATS
gmhwxi
-
2021/02/10
Re: Constraint solving (integer inequalities)
Hongwei Xi
-
2021/02/10
Constraint solving (integer inequalities)
Vanessa McHale
-
2021/02/09
21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation
Andrei Popescu
-
2021/01/30
Re: An interesting GCC (v5.4.0) bug
Elijah Stone
-
2021/01/30
Re: An interesting GCC (v5.4.0) bug
gmhwxi
-
2021/01/30
Re: An interesting GCC (v5.4.0) bug
gmhwxi
-
2021/01/30
Re: An interesting GCC (v5.4.0) bug
Elijah Stone
-
2021/01/30
Re: An interesting GCC (v5.4.0) bug
gmhwxi
-
2021/01/30
Re: An interesting GCC (v5.4.0) bug
Elijah Stone
-
2021/01/30
Re: Effect tracking by omitting proof variables in calls
gmhwxi
-
2021/01/30
An interesting GCC (v5.4.0) bug
gmhwxi
-
2021/01/29
Re: Effect tracking by omitting proof variables in calls
Dambaev Alexander
-
2021/01/29
Re: Effect tracking by omitting proof variables in calls
Dambaev Alexander
-
2021/01/29
Effect tracking by omitting proof variables in calls
Dambaev Alexander
-
2021/01/23
Re: current status of libxatsopt
Artyom Shalkhakov
-
2021/01/23
Re: current status of libxatsopt
Dambaev Alexander
-
2021/01/23
Re: current status of libxatsopt
Artyom Shalkhakov
-
2021/01/22
current status of libxatsopt
Dambaev Alexander
-
2021/01/22
Re: Support for OOP in some ATS3 extension (2)
Dambaev Alexander
-
2021/01/22
Re: Having Trouble Using Call-By-Reference
d4v3y_5c0n3s
-
2021/01/22
Re: Having Trouble Using Call-By-Reference
Hongwei Xi
-
2021/01/22
Re: Having Trouble Using Call-By-Reference
d4v3y_5c0n3s
-
2021/01/21
Re: Having Trouble Using Call-By-Reference
Hongwei Xi
-
2021/01/21
Having Trouble Using Call-By-Reference
d4v3y_5c0n3s
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Hongwei Xi
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Dambaev Alexander
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Raoul Duke
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Hongwei Xi
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Raoul Duke
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Hongwei Xi
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Raoul Duke
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Hongwei Xi
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
Raoul Duke
-
2021/01/21
Re: Support for OOP in some ATS3 extension (2)
gmhwxi
-
2021/01/20
Re: Support for OOP in some ATS3 extension (2)
Dambaev Alexander
-
2021/01/18
Linearly typed OOP
gmhwxi
-
2021/01/18
Re: Support for OOP in some ATS3 extension (2)
Hongwei Xi
-
2021/01/18
Re: Support for OOP in some ATS3 extension (2)
Hongwei Xi
-
2021/01/18
Re: Support for OOP in some ATS3 extension (2)
Elijah Stone