Leveraging Applications of Formal Methods, Verification and Validation

Overview of attention for book

Springer International Publishing

Attention for Chapter: GATE: Gradual Effect Types

Altmetric Badge

Mentioned by

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

RT @lysxia: Super fast summary of the state of the art in gradual types and algebraic effects https://t.co/s4pFeZ5NWe

Super fast summary of the state of the art in gradual types and algebraic effects https://t.co/s4pFeZ5NWe

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

Click here to find out how to access more activity.