Microsoft PowerPoint - SASyLF-wmm08-web.ppt - Programming language theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language		Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 179,74 KB Share Document on Facebook

	Microsoft PowerPoint - SASyLF-wmm08-web.ppt DocID: 1pTp0 - View Document
	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, DocID: 1pI3l - View Document
	Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education DocID: 13D7e - View Document
	Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-eﬀective form of lightweight program veriﬁcation. They provide DocID: 13A2Y - View Document
	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania DocID: 11wzl - View Document