6,140 followers
#Publication - Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-Sy… https://t.co/fOiIv1x8XZ
#Publication - Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-Sy… https://t.co/fOiIv1x8XZ