activity
20012023
most citedA Separation Logic for Concurrent Randomized Programs

37 citations · 133 across the 20 of their papers we have counts for

collaborators
Showing 2006Show all

1 paper · 1 filter

cs.LO2006★ 3 cited

Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight

Karl Crary, Robert Harper

This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.