Synthesis of incidental detail as composable components in a functional language.

Richard Roberts Timothy Jones John Lewis

Published in: IVCNZ (2013)

Keyphrases

functional language
functional programs
functional programming
programming language
proof planning
management system
nearest neighbor
incomplete information