Explicit Substitutions for Control Operators (1997)

by Gilles Barthe , Fairouz Kamareddine , Alejandro Ríos
Citations:1 - 0 self