Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.

Ugo Dal Lago, Francesco Gavazzo

Browse the full FSCD paper archive.