Historically, I’ve struggled to find a concise, simple way to explain what it means to practice type-driven design. Too often, when someone asks me “How did you come up with this approach?” I find I can’t give them a satisfying answer. ...
This data set contains WWW-pages collected from computer science departments of various universities in January 1997 by the World Wide Knowledge Base (Web->Kb) project of the CMU text learning group. The 8,282 pages were manually classified into the following categories:
* student (1641)
* faculty (1124)
* staff (137)
* department (182)
* course (930)
* project (504)
* other (3764)
A. van der Linde, J. Leit\ ao, and N. Preguica. Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data, page 12:1--12:4. New York, NY, USA, ACM, (2016)
A. Spiegelman, G. Golan-Gueta, and I. Keidar. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 682--696. ACM, (2016)