Ulf Norell

ACM SIGPLAN International Workshop on Types In Languages Design And Implementation · 2009

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 5 researchers here, as inferred from the citation graph.

Whom Ulf Norell trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Xavier Leroy

Who trusts Ulf Norell overall

  1. Ana Bove
  2. Peter Dybjer
  3. Thorsten Altenkirch
  4. Cyrus Omar

Papers from Ulf Norell's perspective

Ordered by how strongly the researchers Ulf Norell trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  2. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  3. Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
  4. Formal Proof—The Four- Color Theorem
  5. Character Theory of Finite Groups
  6. SOLVABILITY OF GROUPS OF ODD ORDER
  7. The theory of finite groups : an introduction
  8. Finite Group Theory: Index
  9. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers