Incremental Polymorphic Type Checking in B.

Lambert G. L. T. Meertens

Published in: POPL (1983)

Keyphrases

type checking
data types
query processor
database query languages
abstract data types
object model
relational calculus
database