Login / Signup

A General Adequacy Result for a Linear Functional Language.

Torben Braüner
Published in: Theor. Comput. Sci. (1997)
Keyphrases
  • functional language
  • query processing
  • management system