Dariusz Biernacki
Dariusz Biernacki
Verified email at cs.uni.wroc.pl
Title
Cited by
Cited by
Year
A functional correspondence between evaluators and abstract machines
MS Ager, D Biernacki, O Danvy, J Midtgaard
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1862003
Clock-directed modular code generation for synchronous data-flow languages
D Biernacki, JL Colaço, G Hamon, M Pouzet
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages …, 2008
1062008
An operational foundation for delimited continuations in the CPS hierarchy
M Biernacka, D Biernacki, O Danvy
arXiv preprint cs/0508048, 2005
682005
From interpreter to compiler and virtual machine: a functional derivation
MS Ager, D Biernacki, O Danvy, J Midtgaard
BRICS Report Series 10 (14), 2003
582003
On the static and dynamic extents of delimited continuations
D Biernacki, O Danvy, C Shan
Science of Computer Programming 60 (3), 274-297, 2006
372006
Handle with care: relational interpretation of algebraic effects and handlers
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
322017
From interpreter to logic engine by defunctionalization
D Biernacki, O Danvy
International Symposium on Logic-Based Program Synthesis and Transformation …, 2003
322003
A dynamic continuation-passing style for dynamic delimited continuations
D Biernacki, O Danvy, K Millikin
BRICS Report Series 13 (15), 2006
292006
Subtyping delimited continuations
M Materzok, D Biernacki
ACM SIGPLAN Notices 46 (9), 81-93, 2011
252011
A systematic derivation of the STG machine verified in Coq
M Pirog, D Biernacki
ACM Sigplan Notices 45 (11), 25-36, 2010
252010
A dynamic interpretation of the CPS hierarchy
M Materzok, D Biernacki
Asian Symposium on Programming Languages and Systems, 296-311, 2012
222012
A simple proof of a folklore theorem about delimited control
D Biernacki, O Danvy
BRICS Report Series 12 (25), 2005
222005
Abstracting algebraic effects
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
202019
The theory and practice of programming languages with delimited continuations
D Biernacki
PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2005
192005
Automating derivations of abstract machines from reduction semantics
F Sieczkowski, M Biernacka, D Biernacki
Symposium on Implementation and Application of Functional Languages, 72-88, 2010
172010
Context-based proofs of termination for typed delimited-control operators
M Biernacka, D Biernacki
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
172009
Logical relations for coherence of effect subtyping
D Biernacki, P Polesiuk
arXiv preprint arXiv:1710.09469, 2017
152017
On the dynamic extent of delimited continuations
D Biernacki, O Danvy, C Shan
Information Processing Letters 96 (1), 7-17, 2005
142005
Environmental bisimulations for delimited-control operators with dynamic prompt generation
A Aristizábal, D Biernacki, S Lenglet, P Polesiuk
arXiv preprint arXiv:1611.09626, 2016
132016
An operational foundation for delimited continuations
M Biernacka, D Biernacki, O Danvy
BRICS Report Series, 2003
132003
The system can't perform the operation now. Try again later.
Articles 1–20