Daniel R. Licata Personal Information: E-mail:

First Page		Document Content
Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda		Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Download Document from Source Website File Size: 110,18 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