8 citations · 18 across the 4 of their papers we have counts for
1 paper · 2 filters
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…