activity
20052023
most citedAn Operational Foundation for Delimited Continuations in the CPS Hierarchy

31 citations · 43 across the 7 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.PL2013★ 2 cited

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday

Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh +1

This Liber Amicorum is a collection of essays ranging from personal memories to technical contributions. It is a tribute to Dave Schmidt and his career, and was composed at the occ…