Programming Languages and Systems

Overview of attention for book

Springer Nature Switzerland

Attention for Chapter: Program Synthesis from Graded Types

Altmetric Badge

Mentioned by

So far, Altmetric has seen 12 X posts from 11 X users, with an upper bound of 12,554 followers.

RT @dorchard: Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://t.co/nRESUT5jrd #etaps2024 well d…

RT @dorchard: Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://t.co/nRESUT5jrd #etaps2024 well d…

RT @dorchard: Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://t.co/nRESUT5jrd #etaps2024 well d…

RT @dorchard: Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://t.co/nRESUT5jrd #etaps2024 well d…

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 8 additional X posts.