Author Search Results :: UTM Library Massive Scholar Tracking

1

Logical relations for coherence of effect subtyping by Dariusz Biernacki, Piotr Polesiuk

Published 2018-01-01

Get full text

Article
2

Bisimulations for Delimited-Control Operators by Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Published 2019-05-01

Get full text

Article
3

An Operational Foundation for Delimited Continuations in the CPS Hierarchy by Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy

Published 2005-11-01

Get full text

Article
4

Proving Soundness of Extensional Normal-Form Bisimilarities by Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

Published 2019-03-01

Get full text

Article
5

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation by Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Published 2017-09-01

Get full text

Article
6

Proving termination of evaluation for System F with control operators by Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

Published 2013-09-01

Get full text

Article