A Gradual Polymorphic Type System with Subtyping for Prolog.

Spyros Hadjichristodoulou

Published in: ICLP (Technical Communications) (2012)

Keyphrases

type checking
real time
genetic algorithm
programming language
logic programming
data sets
data mining
feature selection
expert systems
knowledge representation
search engine
reinforcement learning
hidden markov models
static analysis