Matthias Felleisen

Artificial Intelligence · 2002–2011

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

Subfields

• Artificial Intelligence — 5 citations into it; #5,380 of 35,345 by trust here, #13,163 by citations

Whom Matthias Felleisen trusts overall

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

1. Cormac Flanagan

Who trusts Matthias Felleisen overall

1. Michael Furr
2. Emina Torlak
3. Cormac Flanagan
4. Michael M. Vitousek
5. Arjun Guha
6. Jeremy G. Siek
7. Ming-Ho Yee
8. Zeina Migeed
9. Ronald Garcia
10. Joe Gibbs Politz

Papers from Matthias Felleisen's perspective

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

1. Structure and interpretation of computer programs
2. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
3. Gradual Typing for Functional Languages
4. DrScheme: a programming environment for Scheme (Journal of functional programming)
5. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
6. Revised4 report on the algorithmic language scheme
7. Soft typing
8. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
9. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
10. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers

• The Design and Implementation of Typed Scheme: From Scripts to Programs (2011) — 288 citations
• Contracts for higher-order functions (2002) — 508 citations
• Semantics Engineering with PLT Redex (2009) — 338 citations
• DrScheme: a programming environment for Scheme (2002) — 344 citations