bibliographer - Raymond Hu

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Scribble Protocol Language Nobuko Yoshida Raymond Hu Rumyana Neykova Nicholas Ng [github]

Hybrid Session Verification Through Endpoint API Generation Raymond Hu Nobuko Yoshida [github]

Explicit Connection Actions in Multiparty Session Types Raymond Hu Nobuko Yoshida [github]

Behavioral Types in Programming Languages Davide Ancona Viviana Bono Mario Bravetti Joana Campos Giuseppe Castagna Pierre-Malo Deniélou Simon J. Gay Nils Gesbert Elena Giachino Raymond Hu Einar Broch Johnsen Francisco Martins Viviana Mascardi Fabrizio Montesi Rumyana Neykova Nicholas Ng Bono Luca Padovani Vasco T. Vasconcelos Nobuko Yoshida [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]