4 ms·
Should Your Specification Language Be Typed? Leslie Lamport & Lawrence Paulson, ACM ToPLaS, 21, 502-526, 1999: http://lamport.azurewebsites.net/pubs/pubs.html#l
by tristramb 8y ago
Should Your Specification Language Be Typed? Leslie Lamport & Lawrence Paulson, ACM ToPLaS, 21, 502-526, 1999:
http://lamport.azurewebsites.net/pubs/pubs.html#lamport-types http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...