A Framework for the Verified Transformation of Functional Programs.

Gopalan Nadathur

Published in: LFMTP (2014)

Keyphrases

data mining
functional programs
simulated annealing
complex objects