Constrained type families

Overview of attention for article published in Proceedings of the ACM on Programming Languages, August 2017

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 2,575 followers.

Constrained Type Families. https://t.co/r9lp5cGzjj

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.