Alan Mycroft

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