摘要:鲁卡·凯德利(Luca Cardelli),著名意大利计算机学家,担任剑桥微软研究院副主任。Implementer of the first compiler for ML (the most popu[阅读全文]