The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
Harold Abelson, Gerald Jay Sussman, and Jullie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, 1985.
Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, 1974.
Stephanos Androutsellis-Theotokis and Diomidis Spinellis. A survey of peer-to-peer content distribution technologies. ACM Computing Surveys, 36(4):335–371, December 2004. (doi:10.1145/1041680.1041681)
Albert-László Barabási, Mônica Ferreira da Silva, F. Paternò, Wladyslaw M. Turski, Sten-Åke Tärnlund, Ketil Bø, J. Encarnação, Διομηδης Σπινελλης, and Pëßtêr Cezog. Cite this paper. ¡Journal of Authors Against ASCII!, 45(281):69–77, 2000.
Adele Goldberg and David Robson. Smalltalk-80: The Language. Addison-Wesley, Reading, MA, 1989.
Stefanos Gritzalis, Diomidis Spinellis, and Panagiotis Georgiadis. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8):695–707, May 1999. (doi:10.1016/S0140-3664(99)00030-4)
Diomidis Spinellis. Open source and professional advancement. IEEE Software, 23(5):70–71, September/October 2006. (PDF, 2 pages, 116157 bytes) (doi:10.1109/MS.2006.136)
Diomidis Spinellis. Code Reading: The Open Source Perspective. Effective Software Development Series. Addison-Wesley, Boston, MA, 2003.
Diomidis Spinellis. Global analysis and transformations in preprocessed languages. IEEE Transactions on Software Engineering, 29(11):1019–1030, November 2003. (doi:10.1109/TSE.2003.1245303)
Diomidis Spinellis. The decay and failures of web references. Communications of the ACM, 46(1):71–77, January 2003. (doi:10.1145/602421.602422)
Diomidis Spinellis. Outwit: Unix tool-based programming meets the Windows world. In Christopher Small, editor, USENIX 2000 Technical Conference Proceedings, pages 149–158, Berkeley, CA, June 2000. Usenix Association.
Diomidis Spinellis. Greek character encoding for electronic mail messages. Network Information Center, Request for Comments 1947, May 1996. RFC-1947.
Diomidis Spinellis. Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming. PhD thesis, Imperial College of Science, Technology and Medicine, London, UK, February 1994. (PDF)
Diomidis Spinellis. Implementing Haskell: Language implementation as a tool building exercise. Structured Programming (Software Concepts and Tools), 14:37–48, 1993.
Diomidis Spinellis. An implementation of the Haskell language. Master's thesis, Imperial College, London, UK, June 1990. (PDF)
Ken Thompson. Programming techniques: Regular expression search algorithm. Communications of the ACM, 11(6):419–422, 1968. (doi:10.1145/363347.363387)
Elizabeth Zwicky, Simon Cooper, and D. Brent Chapman. Building Internet Firewalls. O'Reilly and Associates, Sebastopol, CA, second edition, 2000.
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.