Pfenning, Frank
Edit Page
Report
Scan day: 09 February 2014 UTC
23
Virus safety - good
Description: Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
President's Professor of Computer Science Pittsburgh, PA 15213-3891, U.S.A. Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing Formal Reasoning about Languages for Distributed Computation
Size: 250 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Frank Pfenning |
| Keywords: | Computer Science, Programming Languages, Logical Frameworks, Type Theory, Functional Programming, Automated Deduction, Logic Programming, Constraints, Elf, Twelf |
| Description: | Frank Pfenning Personal Home Page |
| IP-address: | 128.2.217.13 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |