Hardware synthesis from a recursive functional language.

Kuangya Zhai Richard Townsend Lianne Lairmore Martha A. Kim Stephen A. Edwards

Published in: CODES+ISSS (2015)

Keyphrases

functional language
functional programs
functional programming
programming language
proof planning
object identity
object oriented programming
execution model