Programming languages & software engineering

Simon Marlow, Simon Peyton Jones

ICFP ’00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | January 2000

ISBN: 1-58113-202-6

Janyce M. Wiebe

Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence | January 2000

Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence

ISBN: 0-262-51112-6

Martın Abadi, Cédric Fournet, Georges Gonthier

To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000

Rajeev Joshi, Rustan Leino

Science of Computer Programming | January 2000

Yuri Gurevich, Wolfram Schulte, Charles Wallace

Abstract State Machines | January 2000

ISBN: 3-540-67959-6

Changning Huang, Zhou Ming, Lei Zhang

January 2000

P.W. Trinder, H-W. Loidl, E. Barry, K. Hammond, U. Klusik, Simon Peyton Jones

Euro-Par 2000 “” Parallel Processing | January 2000

Euro-Par 2000 — Parallel Processing

Zhendong Su, Manuel Fahndrich, Alexander Aiken

Proceedings POPL 2000, 27’th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2000

Thomas Eiter, Georg Gottlob, Yuri Gurevich

Journal of the ACM, | January 2000, Vol 47(1): pp. 77-131

Andreas Blass, Yuri Gurevich

Proceedings of CSL’2000, Springer Lecture Notes in Computer Science | January 2000