Efficient lambda encodings for Mendler-style coinductive types in Cedille

Overview of attention for article published in Electronic Proceedings in Theoretical Computer Science, May 2020

Altmetric Badge

About this Attention Score

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

@conal @EremondiJoey @jer_gib i second this. i used it for inspiration towards the foundations of this paper too https://t.co/UtcvXbHobq

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