Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education - Education in Philadelphia, Pennsylvania - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-10-10 11:35:35 Type theory Functional programming Logic in computer science Dependently typed programming Data types International Conference on Functional Programming Dependent type ICFP Programming Contest POPLmark challenge Software engineering Computing Programming language theory		Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 87,75 KB Share Document on Facebook

	ICFP 2017 International Conference on Functional Programming DocID: 1tJvY - View Document
	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + DocID: 1rdtA - View Document
	01 Back Home>Recent Press>Pearl Walking Map>Special Events Venues First Thursday>PDBA Members>Contact Us>Site Map DocID: 1qGUA - View Document
	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment DocID: 1qgW5 - View Document
	Christopher S. Meiklejohn 50 Elite Drive, Warwick, RI, 02889 http://www.christophermeiklejohn.com PROFILE DocID: 1puD8 - View Document