A Note On Type Checking Linear Functional Languages.

Apostolos Syropoulos

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

type checking
database query languages
data types
query processor
relational calculus
object model
expressive power
query language
abstract data types
databases
high level
xml documents
data model
user defined