Login / Signup

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples.

Cláudio AmaralMário FloridoPatrik Jansson
Published in: Erlang Workshop (2011)
Keyphrases
  • database
  • higher order
  • software tools
  • expressive power
  • databases
  • grammatical inference
  • arabic language