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
FLOPS 2016のプロシーディングスはもう出ているみたいですね https://t.co/RJHEgbW8Gk