출판 Design and Implementation of Generics for the .NET Common Language Runtime Andrew Kennedy, Don Syme Programming Language Design and Implementation | January 2001 프로젝트
출판 Generation of Named Entities Maria-Luisa Jiménez European Association for Machine Translation | January 2001
출판 A Technique for Model-Based Testing of Classes Aditya Nori, Ashok Sreenivas Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001
출판 Kernel expansions with unlabeled examples Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | January 2001
출판 Inadequacy of Computable Loop Invariants Andreas Blass, Yuri Gurevich ACM Transactions on Computer Logic | January 2001
출판 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell Simon Peyton Jones Engineering theories of software construction | 글쓴이 IOS Press | 2001 ISBN: 1 58603 1724
출판 Online Markets for Distributed Market Services: the MAJIC system Lior Levy, Liad Blumrosen, Noam Nisan USITS 01 | January 2001
출판 A Proof Sketch Of Something Which May Possibly Be A Conjecture of Oege de Moor Nick Benton December 2000 December 2000
출판 Linearly Used Continuations Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW’01) | December 2000
출판 Boolean and Cartesian Abstraction for Model Checking C Programs Thomas Ball, Andreas Podelski, Sriram Rajamani MSR-TR-2000-115 | December 2000 글쓴이 Microsoft 프로젝트