bibliographer - Robert Harper

bibliographer a curated TCS bibliography

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

On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman Phokion G. Kolaitis Moshe Y. Vardi Victor Vianu [github]

A Framework for Defining Logics Robert Harper Furio Honsell Gordon Plotkin [github]

Constructing type systems over an operational semantics Robert Harper [github]

Extensional equivalence and singleton types Christopher A. Stone Robert Harper [github]

Modular type classes Derek Dreyer Robert Harper Manuel M. T. Chakravarty Gabriele Keller [github]

Higher inductive types in cubical computational type theory Evan Cavallo Robert Harper [github]

A type system for higher-order modules Derek Dreyer Karl Crary Robert Harper [github]

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

[show logs] [hide logs]