Ambrose Bonnaire-Sergeant

Program Analysis & Verification · 2016

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

Subfields

Whom Ambrose Bonnaire-Sergeant trusts overall

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

  1. Sam Tobin-Hochstadt
  2. Ravi Chugh
  3. Benjamin S. Lerner
  4. Michael M. Vitousek
  5. Matthias Felleisen
  6. David Herman
  7. Joe Gibbs Politz
  8. Andrew M. Kent

Who trusts Ambrose Bonnaire-Sergeant overall

  1. Ming-Ho Yee
  2. Erik Krogh Kristensen

Papers from Ambrose Bonnaire-Sergeant's perspective

Ordered by how strongly the researchers Ambrose Bonnaire-Sergeant trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Design and Implementation of Typed Scheme: From Scripts to Programs
  2. TeJaS: retrofitting type systems for JavaScript
  3. Dependent types for JavaScript
  4. Design and evaluation of gradual typing for python
  5. The ins and outs of gradual type inference
  6. Gradual Typing for Functional Languages
  7. Static type inference for Ruby
  8. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  9. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  10. Polyglot: An Extensible Compiler Framework for Java (International Conference on Compiler Construction)

Their papers