Domain-free pure type systems.

Gilles Barthe Morten Heine Sørensen

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

Keyphrases

learning systems
expert systems
management system
mobile devices
mobile robot
specific domains
information systems
three dimensional
domain specific
distributed systems
computer systems
computational models