The following pages link to Frank Pfenning
External toolsShowing 34 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Pfennig (surname) (links | edit)
- Alice (programming language) (links | edit)
- Astrée (static analysis) (links | edit)
- Thierry Coquand (links | edit)
- LEGO (proof assistant) (links | edit)
- F* (programming language) (links | edit)
- Anti-unification (links | edit)
- Srinivasan Seshan (links | edit)
- Jean-Pierre Jouannaud (links | edit)
- Alt-Ergo (links | edit)
- Ur (programming language) (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Steven G. Johnson (links | edit)
- Christine Paulin-Mohring (links | edit)
- Reason (programming language) (links | edit)
- Eff (programming language) (links | edit)
- Futhark (programming language) (links | edit)
- Focused proof (links | edit)
- Semgrep (links | edit)
- Simon Thompson (professor) (links | edit)
- Gerald Penn (computer scientist) (links | edit)
- Pfenning, Frank (redirect page) (links | edit)
- Brigitte Pientka (links | edit)
- Christoph Benzmüller (links | edit)
- Talk:Frank Pfenning (transclusion) (links | edit)
- Talk:Homotopy type theory/Archive 1 (links | edit)
- User:Trurl~enwiki (links | edit)
- User:Kingbotk/Logs/030307 Category:Living people 5 (links | edit)
- User:Tony Sidaway/Living people/tranche 070 (links | edit)
- User:Tony Sidaway/Living people/temp (links | edit)
- User:Ruud Koot/Computer science (links | edit)
- User:Tule-hog/All Computing articles (links | edit)
- User talk:Ben.kenobi.wan/SuggestBot (links | edit)
- Template:ML programming (links | edit)