Revised6 Report on the Algorithmic Language Scheme

By Michael Sperber, R. Dybvig, M. Flatt, Anton VAN STRAATEN, Robby Findler, Jacob Matthews. 2009

231 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Automated Theorem Proving & Formal Methods

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. Hongseok Yang
  2. Frank D. Wood
  3. David Tolpin
  4. Jan-Willem van de Meent
  5. Yura N. Perov
  6. Brooks Paige
  7. Tom Rainforth
  8. Zoubin Ghahramani

In Computational Theory and Mathematics

  1. Frank D. Wood
  2. Jan-Willem van de Meent
  3. Hongseok Yang
  4. Matthew J. Parkinson
  5. Peter W. O'Hearn

In Hardware and Architecture

  1. Hongseok Yang

Citations in the corpus