POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000

Mark N. Wegman Thomas W. Reps POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000 POPL ACM 2000 1-58113-125-9 db/conf/popl/popl2000.html http://dl.acm.org/citation.cfm?id=325694