Expressing Polymorphic Types in a Many-Sorted Language.

François Bobot Andrey Paskevich

Published in: FroCoS (2011)

Keyphrases

natural language
real time
programming language
object oriented languages
data sets
artificial intelligence
information systems
multiscale
multi agent systems
relational databases
information extraction
general purpose
open source
language learning
context dependent
type checking