A Type System For Call-By-Name Exceptions

Sylvain Lebresne

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

databases
e learning
real time
data sets
search engine
decision making
knowledge base
image processing
website
three dimensional
image sequences
computer science
special case