1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Benjamin Selfridge, Eric Smith
This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in p…