bibliographer - Tom Schrijvers

bibliographer a curated TCS bibliography

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

Towards Typed Prolog Tom Schrijvers Vítor Santos Costa Jan Wielemaker Bart Demoen [github]

From monoids to near-semirings: the essence of MonadPlus and Alternative Exequiel Rivas Mauro Jaskelioff Tom Schrijvers [github]

SWI-Prolog JAN WIELEMAKER TOM SCHRIJVERS MARKUS TRISKA TORBJÖRN LAGER [github]

Modular monadic meta-theory Benjamin Delaware Steven Keuchel Tom Schrijvers Bruno C.d.S. Oliveira [github]

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

[show logs] [hide logs]