Partial Evaluation and Non-interference for Object Calculi.
Gilles Barthe, Bernard P. Serpette
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/BartheS99 ↗
Browse the full FLOPS paper archive.