Type systems for dummies.

Andrea Asperti Ferruccio Guidi

Published in: TLDI (2012)

Keyphrases

cd rom
complex systems
building blocks
artificial intelligence
neural network
expert systems
recommender systems
intelligent systems
web search engines
retrieval systems
computing systems
systems require