News for hackers. Stuff that matters.

A comment on If You're Not Writing a Program, Don't Use a Programming Language [video]. Parent comment

Re:If You're Not Writing a Program, Don't Use a Programming ... by tristramb on Monday September 24, 2018 @01:39PM (#18059651)
Should Your Specification Language Be Typed? Leslie Lamport & Lawrence Paulson, ACM ToPLaS, 21, 502-526, 1999: http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...
[ Parent | on HN ]

There are no comments on this comment yet.