6,140 followers
#Publication - Executable relational specifications of polymorphic type systems using prolog | A concise, declarat… https://t.co/XFnxaw2UxA
#Publication - Executable relational specifications of polymorphic type systems using prolog | A concise, declarat… https://t.co/XFnxaw2UxA