bibliographer - Fritz Henglein

bibliographer a curated TCS bibliography

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

A Formally Verified Static Analysis Framework for Compositional Contracts Fritz Henglein Christian Kjær Larsen Agata Murawska [github]

The complexity of type inference for higher-order lambda calculi Fritz Henglein Harry G. Mairson [github]

Type inference with polymorphic recursion Fritz Henglein [github]

Coinductive axiomatization of recursive type equality and subtyping Michael Brandt Fritz Henglein [github]

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

[show logs] [hide logs]