1![Microsoft PowerPoint - SASyLF-wmm08-web.ppt Microsoft PowerPoint - SASyLF-wmm08-web.ppt](https://www.pdfsearch.io/img/2bccf8347c4f3bf3547eddb257546f8f.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2008-10-15 15:02:54
|
---|
2![Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,](https://www.pdfsearch.io/img/4a72bf85e07e51c1cd3566703512f875.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2015-09-15 04:31:52
|
---|
3![Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104 • • October 10, 2014 Education Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104 • • October 10, 2014 Education](https://www.pdfsearch.io/img/a6ee666ed470d71f53c2634c5940293a.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-10-10 11:35:35
|
---|
4![Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-effective form of lightweight program verification. They provide Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-effective form of lightweight program verification. They provide](https://www.pdfsearch.io/img/d740e0056ff84da5b537227e07140437.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-08-01 09:01:37
|
---|
5![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 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](https://www.pdfsearch.io/img/3453f8081772c8dc6136d0321819a7f9.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-10-11 03:37:08
|
---|
6![LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt](https://www.pdfsearch.io/img/ecfaa15bbea0d0bbe8d493af4ad39a21.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2006-07-19 04:40:31
|
---|
7![Curriculum Vitae Peter Michael Sewell October 25, 2014 Personal Details Name: Curriculum Vitae Peter Michael Sewell October 25, 2014 Personal Details Name:](https://www.pdfsearch.io/img/77ed6442349451d5b391d140d9d59346.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-10-25 15:04:53
|
---|
8![Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir1 , Aaron Bohannon1 , Matthew Fairbairn2 , J. Nathan Foster1 , Benjamin C. Pierce1 , Peter Sewell2 , Dimitrios Vytiniotis1 , Geoffrey Washburn1 Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir1 , Aaron Bohannon1 , Matthew Fairbairn2 , J. Nathan Foster1 , Benjamin C. Pierce1 , Peter Sewell2 , Dimitrios Vytiniotis1 , Geoffrey Washburn1](https://www.pdfsearch.io/img/05f06d1dde1586e584421d45f326e01a.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2005-11-30 06:37:29
|
---|
9![Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗ Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗](https://www.pdfsearch.io/img/a201a368958dc39b8a7c1da51031b09a.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2007-10-18 09:46:53
|
---|
10![The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna](https://www.pdfsearch.io/img/2f2517f8afef537b8f0496ec83eb2fd9.jpg) | Add to Reading ListSource URL: matita.cs.unibo.itLanguage: English - Date: 2012-02-14 06:55:31
|
---|