Should Your Specification Language Be Typed? (1999) [pdf]
2019-12-20
Compiler Error Messages Considered Unhelpful: The Landscape of Research
2019-12-20
Dutch supreme court upholds landmark ruling demanding climate action
2019-12-20
ICC wants to open 'war crimes' investigation in West Bank and Gaza
2019-12-20
Programming Language for Ancient Chinese
2019-12-20
Dutch supreme court: Failure to reduce CO2 emissions violates human rights
2019-12-20
OpenBSD system-call-origin verification
2019-12-20
Ontario’s tenants get trapped in a never-ending eviction cycle with landlords
2019-12-20
Courts Grant a Landmark Climate Victory That Could Reshape the World
2019-12-20
Apple Wants to Bypass Carriers and Deliver Data Directly from Satellites
2019-12-20