Kültür & Tarih
Lawrence Paulson Leslie Lamport ile tartışmalı makalesinin hikayesini anlattı
Bilgisayar bilimci Lawrence Paulson, Leslie Lamport ile birlikte kaleme aldıkları ve biçimsel şartname dillerinde tip sistemlerini eleştiren makalenin yazım sürecini yayımladığı bir yazıyla paylaştı.…
Bilgisayar BilimiLeslie LamportTip Teorisi