On 04/24/2017 11:17 AM, Timon Gehr wrote:
Also, Java's type system is
unsound.


Not doubting you, but this sounds interesting. Further info or links?
  • Re: "Competitiv... Jonathan M Davis via Digitalmars-d-announce
  • Re: "Competitiv... Guillaume Piolat via Digitalmars-d-announce
    • Re: "Compe... Walter Bright via Digitalmars-d-announce
      • Re: "C... Guillaume Piolat via Digitalmars-d-announce
        • Re: &qu... Guillaume Piolat via Digitalmars-d-announce
          • Re:... Atila Neves via Digitalmars-d-announce
        • Re: &qu... Walter Bright via Digitalmars-d-announce
          • Re:... Ola Fosheim Grøstad via Digitalmars-d-announce
            • ... Timon Gehr via Digitalmars-d-announce
              • ... Ola Fosheim Grøstad via Digitalmars-d-announce
              • ... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
              • ... Timon Gehr via Digitalmars-d-announce
  • Re: "Competitiv... XavierAP via Digitalmars-d-announce
    • Re: "Compe... Atila Neves via Digitalmars-d-announce
      • Re: "C... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
        • Re: &qu... H. S. Teoh via Digitalmars-d-announce
        • Re: &qu... Ali Çehreli via Digitalmars-d-announce
          • Re:... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
        • Re: &qu... Ola Fosheim Grostad via Digitalmars-d-announce
        • Re: &qu... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
          • Re:... Ola Fosheim Grøstad via Digitalmars-d-announce

Reply via email to