Michael Hanus
JACM · 2000–2013
A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Michael Hanus trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Michael Hanus's perspective
Ordered by how strongly the researchers Michael Hanus trusts endorse each paper. Same corpus, a different order for every researcher.
- Numerical Recipes: The Art of Scientific Computing
- The unified modeling language reference manual
- Revised4 report on the algorithmic language scheme
- Model-Based Design and Evaluation of Interactive Applications (Applied Computing)
- Design of Everyday Things
- Haskell 98 language and libraries : the revised report
- Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
- Purely functional data structures
- Small Worlds: The Dynamics of Networks between Order and Randomness
- Object-oriented reengineering patterns (Proceedings. 26th International Conference on Software Engineering)
Their papers
- Functional Logic Programming: From Theory to Curry (2013) — 362 citations
- A needed narrowing strategy (2000) — 395 citations