Login / Signup

Logic Programs with Polymorphic Types: A condition for static type checking.

Staffan BonnierJonas Wallgren
Published in: CTRS (1992)
Keyphrases