[ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000

[SIGPLAN] SIGPLAN Notices  

Crary Karl and Stephanie Weirich. (2000) Crary Karl and Stephanie Weirich. Resource Bound Certification Jeffrey Lewis, Mark Shields, Erik Meijer, John Lau (2000) Jeffrey Lewis, Mark Shields, Erik Meijer, John Launchbury "Implicit Parameters: Dynamic Scoping with Static Types" Ralf Hinze. (2000) Ralf Hinze. A New Approach to Generic Functional Programming Walker, David A (2000) Walker, David A "Type System for Expressive Security Properties"