Login / Signup

Plays as Resource Terms via Non-idempotent Intersection Types.

Takeshi TsukadaC.-H. Luke Ong
Published in: LICS (2016)
Keyphrases
  • information retrieval
  • database
  • neural network
  • real world
  • search engine
  • multiscale