bibliographer - Jens Palsberg

bibliographer a curated TCS bibliography

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

Conferences in an Era of Expensive Carbon Benjamin C. Pierce Michael Hicks Crista Lopes Jens Palsberg [github]

Stack Size Analysis for Interrupt-driven Programs Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao Thomas A. Henzinger Jens Palsberg [github]

Efficient inference of partial types Dexter Kozen Jens Palsberg Michael I. Schwartzbach [github]

Safety analysis versus type inference Jens Palsberg Michael I. Schwartzbach [github]

A type system equivalent to flow analysis Jens Palsberg Patrick O'Keefe [github]

Closure analysis in constraint form Jens Palsberg [github]

From polyvariant flow information to intersection and union types Jens Palsberg Christina Pavlopoulou [github]

A type system equivalent to a model checker Mayur Naik Jens Palsberg [github]

Complexity results for 1-safe nets Allan Cheng Javier Esparza Jens Palsberg [github]

Complexity results for 1-safe nets Allan Cheng Javier Esparza Jens Palsberg [github]

Efficient recursive subtyping Dexter Kozen Jens Palsberg Michael I. Schwartzbach [github]

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

[show logs] [hide logs]