Browsing 08 Information and Computing Sciences by Author "Olivier Danvy"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

  • UTSePress Research Home
  • >
  • 08 Information and Computing Sciences
  • >
  • Browsing 08 Information and Computing Sciences by Author

Browsing 08 Information and Computing Sciences by Author "Olivier Danvy"

Sort by: Order: Results:

  • Typed Self-Interpretation by Pattern Matching 
    Jay Barry; Palsberg Jens (ACMPress, 2011)
    Self-interpreters can be roughly divided into two sorts: self-recognisers that recover the input program from a canonical representation, and self-enactors that execute the input program. Major progress for statistically-typed ...