Skip to content

A cost semantics for self-adjusting computation.

Ruy Ley-Wild, Umut A. Acar, Matthew Fluet

VenueA*POPL
Year2009
ProceedingsPOPL

Browse the full POPL paper archive.