A Type System for Prototyping Languages.

Dinesh Katiyar David C. Luckham John C. Mitchell

Published in: POPL (1994)

Keyphrases

type checking
databases
expressive power
language independent
neural network
data mining
digital libraries
artificial neural networks
database query languages