A type system with usage aspects.

David Aspinall Martin Hofmann Michal Konecný

Published in: J. Funct. Program. (2008)

Keyphrases

databases
e learning
decision making
website
search algorithm
type checking
main aspects