Programming Languages and Systems

Overview of attention for book

Springer International Publishing

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 14 Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

Attention for Chapter: For a Few Dollars More

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 2 Mendeley

Summary X

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

For a few dollars more: Verified fine-grained algorithm analysis down to LLVM. ~ Maximilian P.L. Haslbeck, Peter Lammich. https://t.co/Cr6O03KT9M #ITP #IsabelleHOL

30 Mar 2021

Reply Repost Favourite

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

Click here to find out how to access more activity.

Programming Languages and Systems

Table of Contents

Mentioned by

Readers on