On the rôle of minimal typing derivations in type-driven program transformation.

Stefan Holdermans Jurriaan Hage

Published in: LDTA (2010)

Keyphrases

data driven
wide range
information retrieval
face recognition
expert systems
evolutionary algorithm
programming environment