A Type-directed, On-line, Partial Evaluator for a Polymorphic Language.

Published in: PEPM (1997)

Keyphrases

type checking
strongly typed
programming language
object oriented languages
database query languages
real time
database programming language
high level
database
general purpose
language processing
natural language
evaluation process
pattern languages
operational semantics
e learning
data sets