Programming Languages and Systems

Overview of attention for book

Springer International Publishing

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 2 Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Altmetric Badge

Chapter 21 Concurrent NetKAT

Attention for Chapter: A Predicate Transformer for Choreographies

Altmetric Badge

Mentioned by

twitter: 2 X users

Summary X

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 962 followers.

RT @PerezJorgeA_: Great talk by Sung Jongmans (OU & CWI) yesterday at the Computer Science colloquium of our Bernoulli Institute @Bernoulli…

22 Sep 2022

Reply Repost Favourite

Great talk by Sung Jongmans (OU & CWI) yesterday at the Computer Science colloquium of our Bernoulli Institute @BernoulliInsti2 @univgroningen He presented work with Petra van den Bos on computing preconditions for choreographic programming (ESOP'22)

22 Sep 2022

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