Logical types for untyped languages.

Sam Tobin-Hochstadt Matthias Felleisen

Published in: ICFP (2010)

Keyphrases

expressive power
language independent
database
real time
databases
information systems
website
image sequences
similarity measure
artificial neural networks