Mauricio Cassola

Artificial Intelligence · 2020

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 7 citations into it
• Software Engineering — 6 citations into it
• Program Analysis & Verification — 5 citations into it

Whom Mauricio Cassola trusts overall

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

1. Jeremy G. Siek
2. Benjamin C. Pierce
3. Walid Taha

Papers from Mauricio Cassola's perspective

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

1. Gradual Typing for Functional Languages
2. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
3. Gradual typing with unification-based inference
4. Soft typing
5. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
6. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
7. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
8. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
9. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
10. The Design and Implementation of Typed Scheme: From Scripts to Programs

Their papers

• A Gradual Type System for Elixir (2020) — 14 citations