Verified Functional Programming in Agda

Overview of attention for book

Association for Computing Machinery

Altmetric Badge

Book Overview

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 14 X users
reddit: 4 Redditors

q&a: 1 Q&A thread

Readers on

mendeley: 33 Mendeley

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

Verified Functional Programming in Agda https://t.co/XTh9434jMT #VerifiedFunctionalProgramming #Agda

RT @Jose_A_Alonso: Verified functional programming in Agda. ~ Aaron Stump. https://t.co/kXNt74rYfX #eBook #ITP #Agda

RT @BtcBee: Verified Functional Programming in Agda https://t.co/oZgOIAQJDf #technews #chatbots #automation #AI #ML

@SugarHigh_bin https://t.co/OlDYkuU2JM

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

Verified Functional Programming in Agda

Table of Contents

Mentioned by

Readers on