Richard O’Keefe
- A polymorphic type system for prolog
1984/08/01 by Alan Mycroft, Richard A. O'Keefe, Richard O’Keefe · 5 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge