Jonah Pears

Orcid: 0000-0003-4492-4072

According to our database¹, Jonah Pears authored at least 4 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2025

2024

Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.

[BibT_eX]

[DOI]

CoRR, 2024

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors.

[BibT_eX]

[DOI]

Jonah Pears

Laura Bocchi

Raymond Hu

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023

Safe Asynchronous Mixed-Choice for Timed Interactions.

[BibT_eX]

[DOI]

Jonah Pears

Laura Bocchi

Andy King

Proceedings of the Coordination Models and Languages, 2023

Jonah Pears

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...