A Type-Based Approach to Divide-and-Conquer Recursion in Coq

Overview of attention for article published in Proceedings of the ACM on Programming Languages, January 2023

Altmetric Badge

About this Attention Score

Good Attention Score compared to outputs of the same age (68th percentile)
Good Attention Score compared to outputs of the same age and source (67th percentile)

Mentioned by

twitter: 5 X users

Readers on

mendeley: 6 Mendeley

So far, Altmetric has seen 5 X posts from 5 X users, with an upper bound of 14,673 followers.

A Type-Based Approach to Divide-and-Conquer Recursion in Coq | Proceedings of the ACM on Programming Languages https://t.co/wl69CACSMI

@fxdpntthm Indeed! Recursive #TBT 😉https://t.co/us2Hok3mJy ➕ further reading: https://t.co/3X3AmdnlSO 🐓

A type-based approach to divide-and-conquer recursion in Coq. ~ Pedro Abreu et als. https://t.co/hCEbDABzGZ #ITP #Coq

RT @purdue_pl: 📰 A Type-Based Approach to Divide-and-Conquer Recursion in Coq 👥 Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkin…

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