Principles of POPL Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Phil Wadler (on behalf of the POPL Steering Commi

First Page		Document Content
Date: 2013-04-10 04:03:03 Symposium on Principles of Programming Languages		Principles of POPL Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Phil Wadler (on behalf of the POPL Steering Commi Add to Reading List Source URL: popl.mpi-sws.org Download Document from Source Website File Size: 262,06 KB Share Document on Facebook

	Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL ’99), San Antonio, Texas, USA, JanuaryJFlow: Practical Mostly-Static Information Flow Control Andrew C. Myers Laboratory for Com DocID: 1sRKx - View Document
	IMPECS-POPL Workshop on Emerging Research & Development Trends in Programming Languages (WEPL) co-located with 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPLThe goal of WEPL 2015 ( DocID: 1s3ea - View Document
	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + DocID: 1rdtA - View Document
	Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder DocID: 1pBCW - View Document
	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China DocID: 1p8u1 - View Document