Functors are Type Refinement Systems.

Paul-André Melliès Noam Zeilberger

Published in: POPL (2015)

Keyphrases

expert systems
learning systems
intelligent systems
three dimensional
complex systems
user interface
computer systems
management system
systems require
test collection
building blocks
medical images
information systems
evolutionary algorithm
mobile devices
multiscale
decision making