Roberto Barbuti
- A bottom-up polymorphic type inference in logic programming
1992/12/01 by Roberto Barbuti, Roberto Giacobazzi · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems