Sign in

A Framework for the Verified Transformation of Functional Programs.

Gopalan Nadathur
Published in: LFMTP (2014)
Keyphrases
  • data mining
  • functional programs
  • simulated annealing
  • complex objects