On Jones-Optimal Specialization for Strongly Typed Languages.

Henning Makholm

Published in: SAIG (2000)

Keyphrases

strongly typed
programming language
finding optimal
optimal solution
real world
genetic algorithm
case study
state space
closed form
optimal control
cross lingual
exhaustive search
language independent
optimal design