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?
Nick Sabalausky (Abscissa) via Digitalmars-d-announce Mon, 24 Apr 2017 10:06:36 -0700
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?