Refinements in Typed Abstract State Machines.

Sebastian Link Klaus-Dieter Schewe Jane Zhao

Published in: Ershov Memorial Conference (2006)

Keyphrases

higher order
machine learning
lambda calculus
web pages
object recognition
special case
fixed order
databases
high dimensional
management system