Handlers in action

By Ohad Kammar, S. Lindley, Nicolas Oury. 2013

183 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Noah D. Goodman
  2. Neeraj Pradhan
  3. Fritz Obermeyer
  4. Martin Jankowiak
  5. Theofanis Karaletsos
  6. Paul Horsfall
  7. Andrew Gordon Wilson
  8. Tomer D. Ullman

In Program Analysis & Verification

  1. Paul Horsfall
  2. Noah D. Goodman
  3. Frank D. Wood
  4. Jan-Willem van de Meent

Citations in the corpus