A Note On Type Checking Linaer Functional Languages.

Apostolos Syropoulos

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

type checking
database query languages
data types
query processor
relational calculus
abstract data types
object model
expressive power
response time
object recognition